Send the following on WhatsApp
Continue to ChatEvery countable model of set theory is isomorphic to a submodel of its own constructible universe, Barcelona, December, 2012 https://jdh.hamkins.org/embeddings-barcelona-2012/
Every countable model of set theory is isomorphic to a submodel of its own constructible universe, Barcelona, December, 2012 https://jdh.hamkins.org/embeddings-barcelona-2012/