Research

Articles

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

Work in progress

Computational reverse mathematics and foundational analysis (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).

Dissertation

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