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).

Computational reverse mathematics and foundational analysis. (Unpublished manuscript).

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.