jdh.hamkins.org
All countable models of set theory have the same inclusion relation up to isomorphism, CUNY Logic Workshop, April 2017
This will be a talk for the CUNY Logic Workshop, April 28, 2:00-3:30 in room 6417 at the CUNY Graduate Center. Abstract. Take any countable model of set theory $\langle M,\in^M\rangle\models\text{…