The inclusion relations of the countable models of set theory are all isomorphic

Joel David Hamkins, Makoto Kikuchi

The structures $⟨M,{\subseteq }^M⟩$ arising as the inclusion relation of a countable model of sufficient set theory $⟨M,{\in }^M⟩$, whether well-founded or not,…