1. Constructing the constructible universe constructively;Annals of Pure and Applied Logic;2024-03
2. Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs;Studia Logica;2024-02-16
3. Fermat’s Last Theorem;Handbook of the History and Philosophy of Mathematical Practice;2024
4. Weak set theories in foundational debates;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
5. End extending models of set theory via power admissible covers;Annals of Pure and Applied Logic;2022-08