news
| Dec 9, 2025 | On Thursday Feb. 19th, I will be presenting one of the Association of Symbolic Logic Plenary Sessions at the 2026 Central APA, in Chicago. See the conference program here. |
|---|---|
| Sep 18, 2025 | My recent interview with the American Philosophical Association is published on the blog of the APA. |
| 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 Church-Turing Thesis. |