news

Aug 5, 2025 New preprint out on separating definitional equivalence and bi-interpretability, joint with Toby Meadows.
Jul 27, 2025 I presented on set theory’s foundational job at the Annual Conference of Philosophy of Mathematics in China
Feb 28, 2025 I presented at the 2025 ASL/APA Central Joint Meeting, on the practical uses of the Churcu-Turing Thesis.