Publications
- 2024. A DEFENCE OF ISAACSON’S THESIS, OR HOW TO MAKE SENSE OF THE BOUNDARIES OF FINITE MATHEMATICS. Synthese 203, 54. Open Access at https://doi.org/10.1007/s11229-024-04488-0
- 2023. NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE. (W/ M. FISCHER AND C. NICOLAI) Review of Symbolic Logic 16(2), 425-448, https://doi.org/10.1017/S1755020321000137 Arxiv: arXiv:2007.07188v3
Work in progress
At the moment, I am working on theories of supervaluational truth, including a paper on McGee’s theory of truth, and a (mostly proof-theoretic) paper on axiomatizations à la Cantini of different supervaluational schemes (with Daichi Hayashi). Together with Davide Sutto, I am also preparing a paper in the philosophy of set theory—in particular, on the supposed vagueness of the concept of set.