Surreal arithmetic is bi-interpretable with set theory
I shall be speaking (in person) at the CUNY Logic Workshop on 13 March.
jdh.hamkins.org
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-or…