Send the following on WhatsApp
Continue to ChatThe countable models of ZFC, up to isomorphism, are linearly pre-ordered by the submodel relation; indeed, every countable model of ZFC, including every transitive model, is isomorphic to a submodel of its own $L$, New York, 2012 https://jdh.hamkins.org/countable-models-linearly-ordered-ny-2012/