The 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
This will be a talk on May 18, 2012 for the CUNY Logic Workshop on some extremely new work. The proof uses finitary digraph combinatorics, including the countable random digraph and higher analogue…
