Reverse Mathematics. Invited submission for the Stanford Encyclopedia of Philosophy, in preparation.

Set existence and closure conditions: unravelling the standard view of reverse mathematics. Submitted.

Computational reverse mathematics and foundational analysis. Submitted.

Book chapters

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

Book reviews

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.