Condensable models of set theory

DOI10.1007/S00153-021-00786-3MaRDI QIDQ6326864arXivFDO

Authors Ali Enayat

Publication date 9 October 2019

Published in arXiv

Full work available at URL https://doi.org/10.1007/S00153-021-00786-3

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Axiomatics of classical set theory and its fragments (03E30) Nonstandard models in mathematics (03H05)

arXiv classification

math.LO

Abstract: We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary formulae in the well-founded part of M. We prove, assuming a modest set theoretic hypothesis, that there are condensable models M of ZFC such that every definable element of M is in the well-founded part of M. We also provide various characterizations of countable condensable models of ZF.

This page was built for publication: Condensable models of set theory

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