1. The Interpretation Existence Lemma;Outstanding Contributions to Logic;2017
2. Feferman’s Skepticism About Set Theory;Outstanding Contributions to Logic;2017
3. Transductions in arithmetic;Annals of Pure and Applied Logic;2016-03
4. The Arithmetics of a Theory;Notre Dame Journal of Formal Logic;2015-01-01
5. Finitistic Arithmetic and Classical Logic†;Philosophia Mathematica;2014-03-28