Arrow’s theorem, ultrafilters, and reverse mathematics. Forthcoming in the Review of Symbolic Logic (preprint) (DOI).

Reverse mathematics. In E. N. Zalta and U. Nodelman (eds.), The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University, 2024.

Set existence and closure conditions: unravelling the standard view of reverse mathematics. Philosophia Mathematica 27(2):153–176, 2019 (preprint) (DOI).

Tarski. In A. Malpass and M. Antonutti Marfori (eds.), The History of Philosophical and Formal Logic: From Aristotle to Tarski, Bloomsbury, 293–313, 2017 (preprint).

Book reviews

Review of John Stillwell, Reverse Mathematics: Proofs from the Inside Out. Philosophia Mathematica 28(1):108–116, 2020 (preprint) (DOI).

Review of Denis R. Hirschfeldt, Slicing the Truth. On the Computability Theoretic and Reverse Mathematical Analysis of Combinatorial Principles. Studia Logica 105(4):873–879, 2017 (preprint) (DOI).


Reverse Mathematics: A Philosophical Account. PhD thesis, University of Bristol, 2015. xiii + 104 pages.