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. |