Philosophy and Model Theory. Co-authored with Tim Button, with a historical appendix by Wilfrid Hodges. Oxford University Press, 2018.
The Prehistory of the Subsystems of Second-Order Arithmetic. Co-authored with Walter Dean. The Review of Symbolic Logic, 10(2):357–396, 2017. [doi]
Structure and Categoricity: Determinacy of Reference and Truth-Value in the Philosophy of Mathematics. Co-authored with Tim Button. Philosophia Mathematica, 24(3):283–307, 2016. [doi]
Realizability Semantics for Quantified Modal Logic: Generalizing Flagg’s 1985 Construction. Co-authored with Benjamin G. Rin. The Review of Symbolic Logic, 9(4): 752–809, 2016. [doi]
The Strength of Abstraction with Predicative Comprehension. The Bulletin of Symbolic Logic, 22(1):105–120, 2016. [doi]
Fragments of Frege’s Grundgesetze and Gödel’s Constructible Universe. The Journal of Symbolic Logic, 81(2):605–628, 2016. [doi]
Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic. The Journal of Philosophical Logic, 45(3):277–326, 2016. [doi]
Empiricism, Probability, and Knowledge of Arithmetic: A Preliminary Defense. Journal of Applied Logic, 12(3):319–348, 2014. [doi]
Logicism, Interpretability, and Knowledge of Arithmetic. The Review of Symbolic Logic, 7(1):84–119, 2014. [doi]
Comparing Peano Arithmetic, Basic Law V, and Hume’s Principle. Annals of Pure and Applied Logic, 163:1679–1709, 2012. [doi]
Incongruent Counterparts and Causality. Kant-Studien 98(4): 418–430, 2007. [doi]
Author profile pages on preprint servers
Slides from recent talks
Schnorr randomness and Lévy’s Convergence Theorems. OSU Logic Seminar. March 19, 2019.