Bob Hale
Second-order logic: properties, semantics, and existential commitments
2019
Synthese 196/7

What is absolute necessity?
2012
Philosophia Scientiae 16/2

The problem of mathematical objects
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer

The bearable lightness of being
2010
Axiomathes 20/4
The limits of abstraction
2006
Philosophy and Phenomenological Research 72/1
Real numbers and set theory – extending the neo-Fregean programme beyond arithmetic
2005
Synthese 147/1

Can arboreal knotwork help Blackburn out of Frege's abyss?
2002
Philosophy and Phenomenological Research 65/1
Nominalism
1990
in: Physicalism in mathematics, Dordrecht : Springer
