jdh.hamkins.org
Every countable model of set theory is isomorphic to a submodel of its own constructible universe, Barcelona, December, 2012
This will be a talk for a set theory workshop at the University of Barcelona on December 15, 2012, organized by Joan Bagaria. Abstract. Every countable model of set theory $M$, including every well…