Montague's Problem, The Journal of Philosophy, forthcoming
Varieties of Self-Reference in Metamathematics (mit Volker Halbach und Lingyuan Ye), Journal of Philosophical Logic, Online First
https://link.springer.com/article/10.1007/s10992-022-09696-y
Self-Reference Upfront: A Study of Self-Referential Gödel Numberings (mit Albert Visser), Review of Symbolic Logic, Online First
https://doi.org/10.1017/S1755020321000393
Breaking the Tie: Benacerraf's Identification Problem Revisisted (mit Arnon Avron), Philosophia Mathematica, 31 (1): 81-103, 2023
https://doi.org/10.1093/philmat/nkac022
On the Invariance of Gödel’s Second Theorem with regard to Numberings, Review of Symbolic Logic, 14 (1): 51-84, 2021
https://doi.org/10.1017/S1755020320000192
A Step Towards Absolute Versions of Metamathematical Results, Journal of Philosophical Logic, 53, 247–291 (2024)
https://link.springer.com/article/10.1007/s10992-023-09731-6