1. Conditions on centroids implying Euclideanity;Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry;2024-04-10
2. Classicism;Higher-Order Metaphysics;2024-03-21
3. The Absolute Arithmetic Continuum and Its Geometric Counterpart;Handbook of the History and Philosophy of Mathematical Practice;2024
4. Intuitionistic Mereology II: Overlap and Disjointness;Journal of Philosophical Logic;2023-05-22
5. Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL;Journal of Automated Reasoning;2022-10-01