Publications
An Invitation to Nonstandard Analysis and Its Recent Applications. Coauthored with Isaac Goldbring. Notices of the American Mathematical Society 66 (6): 842–51, 2019
Philosophy and Model Theory. Coauthored with Tim Button, with a historical appendix by Wilfrid Hodges. Oxford University Press, 2018. Errata page.
The Prehistory of the Subsystems of Second-Order Arithmetic. Coauthored with Walter Dean. The Review of Symbolic Logic, 10(2):357–396, 2017. [doi]
Definability Aspects of the Denjoy Integral. Fundamenta Mathematicae, 237:1–29, 2017. [doi]
Structure and Categoricity: Determinacy of Reference and Truth-Value in the Philosophy of Mathematics. Coauthored with Tim Button. Philosophia Mathematica, 24(3):283–307, 2016. [doi]
Realizability Semantics for Quantified Modal Logic: Generalizing Flagg’s 1985 Construction. Coauthored 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]
Relative Categoricity and Abstraction Principles. Coauthored with Sean Ebels-Duggan. The Review of Symbolic Logic, 8(3):572–606, 2015. [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