Research
Preprints:
Algorithmic randomness and the weak merging of computable probability measures. Coauthored with Simon M. Huttegger and Francesca Zaffora Blando.
Schnorr Randomness and Effective Bayesian Consistency and Inconsistency. Coauthored with Simon M. Huttegger and Francesca Zaffora Blando.
Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth. Coauthored with Simon M. Huttegger and Francesca Zaffora Blando.
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.
Definability Aspects of the Denjoy Integral. Fundamenta Mathematicae, 237:1–29, 2017.
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.
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.
The Strength of Abstraction with Predicative Comprehension. The Bulletin of Symbolic Logic, 22(1):105–120, 2016.
Fragments of Frege’s Grundgesetze and Gödel’s Constructible Universe. The Journal of Symbolic Logic, 81(2):605–628, 2016.
Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic. The Journal of Philosophical Logic, 45(3):277–326, 2016.
Relative Categoricity and Abstraction Principles. Coauthored with Sean Ebels-Duggan. The Review of Symbolic Logic, 8(3):572–606, 2015.
Empiricism, Probability, and Knowledge of Arithmetic: A Preliminary Defense. Journal of Applied Logic, 12(3):319–348, 2014.
Logicism, Interpretability, and Knowledge of Arithmetic. The Review of Symbolic Logic, 7(1):84–119, 2014.
Comparing Peano Arithmetic, Basic Law V, and Hume’s Principle. Annals of Pure and Applied Logic, 163:1679–1709, 2012.
Incongruent Counterparts and Causality. Kant-Studien 98(4): 418–430, 2007.
Author profile pages on preprint servers