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

arXiv1704.04480MaRDI QIDQ6285533FDOQ6285533

Authors: Joel David Hamkins, Makoto Kikuchi 

Publication date: 14 April 2017

Abstract: The structures $langleM,subsete{q}^{M}angle$ arising as the inclusion relation of a countable model of sufficient set theory $langleM,i{n}^{M}angle$, whether well-founded or not, are all isomorphic. These structures $langleM,subsete{q}^{M}angle$ are exactly the countable saturated models of the theory of set-theoretic mereology: an unbounded atomic relatively complemented distributive lattice. A very weak set theory suffices, even finite set theory, provided that one excludes the $omega$-standard models with no infinite sets and the $omega$-standard models of set theory with an amorphous set. Analogous results hold also for class theories such as G"odel-Bernays set theory and Kelley-Morse set theory.

This page was built for publication: The inclusion relations of the countable models of set theory are all isomorphic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6285533)