Publications

(2024) A Step Towards Absolute Versions of Metamathematical Results
Journal of Philosophical Logic, 53: 247–291 [Official Publication (open access)]

(2023) Varieties of Self-Reference in Metamathematics (with Volker Halbach and Lingyuan Ye)
Journal of Philosophical Logic, 52: 1005–1052 [Official Publication (open access)]

(2023) Breaking the Tie: Benacerraf’s Identification Problem Revisisted (with Arnon Avron)
Philosophia Mathematica, 31 (1): 81-103 [preprint, Official Publication]

(2023) Self-Reference Upfront: A Study of Self-Referential Gödel Numberings (with Albert Visser)
Review of Symbolic Logic, 16 (2): 385–424 [Official Publication (open access)]

(2021) On the Invariance of Gödel’s Second Theorem with regard to Numberings
Review of Symbolic Logic, 14 (1): 51-84 [Official Publication (open access)]