Publications
- 2024. A DEFENSE 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
Under review
- AXIOMATIC THEORIES OF SUPERVALUATIONAL TRUTH: COMPLETING THE PICTURE. (W/ D. HAYASHI). Under review. Arxiv: arXiv:2410.12471
- SUPERVALUATIONS, TRUTH, AND INTUITIONISTIC LOGIC. Under review. Arxiv:
arXiv:2503.15007 - SUPERVALUATION-STYLE TRUTH REVISITED. (W/ C. NICOLAI AND J. STERN). Under review. Arxiv:
arXiv:2510.01883
Work in progress
Some of the papers I am working on include: (i) a paper on subvaluationism for theories of truth; (ii) a paper on the indeterminacy of the concept of set, with Davide Sutto; (iii) a paper on the relationship between compositionality in truth theories and predicativity in subsystems of analysis, with Pietro Brocci.