Surreal arithmetic is bi-interpretable with set theory, CUNY Logic Workshop, March 2026 (opens in new tab)

This will be a talk at the CUNY Logic Workshop on 13 March 2026, held at the CUNY Graduate Center. Abstract. I shall introduce the elementary theory of surreal arithmetic (SA), a first-order theory that is true in the surreal field when equipped with … <a href="https://jdh.hamkins.org/surreal-arithmetic-cuny-logic-workshop-march-2026/">Continue reading <span class="meta-nav">→</span></a>