Computational reverse mathematics and foundational analysis. 41 pages. Submitted (preprint).

Set existence and closure conditions: unravelling the standard view of reverse mathematics. Philosophia Mathematica, 2018 (preprint) (DOI).

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.