Logic and Philosophy of Mathematics
BA, D.Phil Oxford
Intuitionistic Set Theory. College Publications, 2014
Set Theory: Boolean-Valued Models and Independence Proofs. Clarendon Press, Oxford, 1977. 3rd edition, 2005. Paperback edition, 2011.
Perpetual Motion: The Making of a Mathematical Logician. Llumina Press, 2010.
The Axiom of Choice. College Publications, 2009.
The Axiom of Choice in an Elementary Theory of Operations and Sets, in Analysis and Interpretation in the Exact Sciences: Essays in Honour of William Demopoulos. M. Frappier, D. Brown and R. DiSalle, eds., Springer 2012
Types, Sets and Categories, Sets and Extensions in the 20th Century, A.Kanamori, D. Gabbay and J. Woods, eds., Handbook of the History of Logic, Elsevier 2012.
(As J. Bennhall). The Continuous and the Discrete in the Playing of Jascha Heifetz and Glenn Gould, in Vintage Enthusiasms: Essays in Honour of John L. Bell, D.Devidi, P. Clark and M. Hallett, eds., Springer 2011.
The Axiom of Choice in the Foundations of Mathematics, in Foundational
Theories of Classical and Constructive Mathematics, Giovanni Sommaruga, ed., Springer, 2011.
Cohesiveness, Intellectica, 41, 2009.
Hermann Weyl, Stanford Encyclopedia of Philosophy, 2009.