Mutually embeddable models of ZFC
@inproceedings{Eskew2021MutuallyEM, title={Mutually embeddable models of ZFC}, author={Monroe Eskew and Sy-David Friedman and Yair Hayut and Farmer Schlutzenberg}, year={2021} }
We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems. One of Ken Kunen’s best-known and most striking results is that there is no elementary embedding of the universe of sets into itself other than the identity. Kunen’s result is best understood in a theory that includes proper classes as genuine objects, such as von Neumann-Gödel-Bernays set theory (NBG), which we take in this article…
References
SHOWING 1-10 OF 12 REFERENCES
The number of normal measures
- MathematicsThe Journal of Symbolic Logic
- 2009
This article treats all cases by a uniform argument, starting with only one measurable cardinal and applying a cofinality-preserving forcing, and explores the possibilities for the number of normal measures on a cardinal at which the GCH fails.
Large cardinals and definable well-orders on the universe
- MathematicsThe Journal of Symbolic Logic
- 2009
A reverse Easton forcing iteration is used to obtain a universe with a definable well-order, while preserving the GCH and proper classes of a variety of very large cardinals, by choosing the cardinals at which coding occurs sufficiently sparsely.
More rigid ideals
- MathematicsIsrael Journal of Mathematics
- 2019
We extend prior results of Cody-Eskew, showing the consistency of GCH with the statement that for all regular cardinals $\kappa \leq \lambda$, where $\kappa$ is the successor of a regular cardinal,…
Iterated forcing and elementary embeddings, Handbook of set theory
- Vols. 1,
- 2010
Embeddings into outer models, arXiv e-prints (2019), arXiv:1905.06062
- 1905
The higher infinite, 2 ed
- 2003
Constructibility and class forcing, Handbook of set theory
- Vols. 1,
- 2010
Elementary embeddings of models of set-theory and certain subtheories, Axiomatic set theory (Thomas
- J. Jech, ed.), American Mathematical Society,
- 1974