2000 character limit reached
No cardinal correct inner model elementarily embeds into the universe
Published 1 Nov 2024 in math.LO | (2411.01046v1)
Abstract: An elementary embedding $j:M\rightarrow N$ between two inner models of ZFC is cardinal preserving if $M$ and $N$ correctly compute the class of cardinals. We look at the case $N=V$ and show that there is no nontrivial cardinal preserving elementary embedding from $M$ into $V$, answering a question of Caicedo.
- J. Bagaria and M. Magidor. On ω1subscript𝜔1\omega_{1}italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-strongly compact cardinals. The Journal of Symbolic Logic, 79(1):266–278, 2014.
- A. E. Caicedo. Cardinal preserving elementary embeddings. In Logic Colloquium 2007, volume 35 of Lect. Notes Log., pages 14–31. Assoc. Symbol. Logic, La Jolla, CA, 2010.
- A. E. Caicedo and B. Velic̆ković. The bounded proper forcing axiom and well orderings of the reals. Math. Res. Lett., 13(2-3):393–408, 2006.
- Squares, scales and stationary reflection. Journal of Mathematical Logic, 1(01):35–98, 2001.
- J. Cummings and E. Schimmerling. Indexed squares. Israel J. Math., 131:61–99, 2002.
- M. Dz̆amonja and S. Shelah. On squares, outside guessing of clubs and I<f[λ]subscript𝐼absent𝑓delimited-[]𝜆I_{<f}[\lambda]italic_I start_POSTSUBSCRIPT < italic_f end_POSTSUBSCRIPT [ italic_λ ]. Fund. Math., 148(2):165–198, 1995.
- T. Eisworth. Successors of Singular Cardinals, pages 1229–1350. Springer Netherlands, Dordrecht, 2010.
- P. Erdős and A. Hajnal. On a problem of B. Jónsson. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys., 14:19–23, 1966.
- M. Gitik. Some results on the nonstationary ideal. II. Israel J. Math., 99:175–188, 1997.
- G. Goldberg. Some combinatorial properties of Ultimate L and V. arXiv preprint arXiv:2007.04812, 2020.
- G. Goldberg. A note on cardinal preserving embeddings. arXiv preprint arXiv:2103.00072, 2021.
- R. Jensen. The fine structure of the constructible hierarchy. Annals of Mathematical Logic, 4(3):229–308, 1972.
- K. Kunen. Elementary embeddings and infinitary combinatorics. J. Symbolic Logic, 36:407–413, 1971.
- M. Magidor and D. Sinapova. Singular cardinals and square properties. Proc. Amer. Math. Soc., 145(11):4971–4980, 2017.
- W. N. Reinhardt. TOPICS IN THE METAMATHEMATICS OF SET THEORY. ProQuest LLC, Ann Arbor, MI, 1967. Thesis (Ph.D.)–University of California, Berkeley.
- E. Schimmerling. Combinatorial principles in the core model for one woodin cardinal. Annals of Pure and Applied Logic, 74(2):153–201, 1995.
- S. Shelah. Cardinal arithmetic, volume 29 of Oxford Logic Guides. The Clarendon Press, Oxford University Press, New York, 1994.
- J. Tryba. On Jónsson cardinals with uncountable cofinality. Israel J. Math., 49(4):315–324, 1984.
- M. Viale. A family of covering properties. Math. Res. Lett., 15(2):221–238, 2008.
- J. Vickers and P. D. Welch. On elementary embeddings from an inner model to the universe. The Journal of Symbolic Logic, 66(3):1090–1116, 2001.
- J. Zapletal. A new proof of Kunen’s inconsistency. Proc. Amer. Math. Soc., 124(7):2203–2204, 1996.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.