arXiv Analytics

Sign in

arXiv:2406.14790 [math.LO]AbstractReferencesReviewsResources

Models of Set Theory: Extensions and Dead-ends

Ali Enayat

Published 2024-06-20Version 1

This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. We present some new constructions of certain types of extensions, and also establish the existence of models of ZF that cannot be properly end extended.

Comments: 21 pages
Categories: math.LO
Subjects: 03C62
Related articles: Most relevant | Search more
arXiv:2210.08070 [math.LO] (Published 2022-10-14)
Paraconsistent models of Zermelo-Fraenkel set theory
arXiv:1309.4631 [math.LO] (Published 2013-09-18, updated 2013-10-19)
Automorphisms of models of set theory and extensions of NFU
arXiv:1101.5660 [math.LO] (Published 2011-01-29, updated 2013-03-11)
Lifting up the proof theory to the countables : Zermelo-Fraenkel set theory

Links

Toolbox