Singular Failures of GCH and Level by Level Equivalence

• Autorzy: Apter A. W.

Identyfikatory

DOI

10.4064/ba62-1-2

• Języki publikacji: EN

Abstrakty

EN

We construct a model for the level by level equivalence between strong compactness and supercompactness in which below the least supercompact cardinal κ, there is an unbounded set of singular cardinals which witness the only failures of GCH in the universe. In this model, the structure of the class of supercompact cardinals can be arbitrary.

Słowa kluczowe

EN

supercompact cardinal; strongly compact cardinal; strong cardinal; Gitik iteration; k-weakly closed partial ordering satisfying the Prikry condition; Prikry condition; level by level equivalence between strong compactness and supercompactness

• Wydawca: Instytut Matematyczny PAN
• Czasopismo: Bulletin of the Polish Academy of Sciences. Mathematics
• Rocznik: 2014
• Tom: Vol. 62, no 1
• Strony: 11--21
• Opis fizyczny: Bibliogr. 17 poz.

Twórcy

autor

Apter A. W.

• Department of Mathematics Baruch College of CUNY, New York, NY 10010, U.S.A.
• The CUNY Graduate Center, Mathematics, 365 Fifth Avenue, New York, NY 10016, U.S.A.

Bibliografia

• [1] A. Apter, Failures of SCH and level by level equivalence, Arch. Math. Logic 45 (2006), 831-838.
• [2] A. Apter, Patterns of compact cardinals, Ann. Pure Appl. Logic 89 (1997), 101-115.
• [3] A. Apter, Failures of GCH and the level by level equivalence between strong compactness and supercompactness, Math. Logic Quart. 49 (2003), 587-597.
• [4] A. Apter and J. Cummings, Identity crises and strong compactness, J. Symbolic Logic 65 (2000), 1895-1910.
• [5] A. Apter and J. Cummings, Identity crises and strong compactness II: Strong cardinals, Arch. Math. Logic 40 (2001), 25-38.
• [6] A. Apter and S. Shelah, On the strong equality between supercompactness and strong compactness, Trans. Amer. Math. Soc. 349 (1997), 103-128.
• [7] M. Gitik, Blowing up power of a singular cardinal|wider gaps, Ann. Pure Appl. Logic 116 (2002), 1-38.
• [8] M. Gitik, Changing co_nalities and the nonstationary ideal, Israel J. Math. 56 (1986), 280-314.
• [9] M. Gitik, Prikry-type forcings, in: Handbook of Set Theory, M. Foreman and A. Kanamori (eds.), Springer, Berlin, 2010, 1351-1447.
• [10] M. Gitik and S. Shelah, On certain indestructibility of strong cardinals and a question of Hajnal, Arch. Math. Logic 28 (1989), 35-42.
• [11] T. Jech, Set Theory: The Third Millennium Edition, Revised and Expanded, Springer, Berlin, 2003.
• [12] A. Kanamori, The Higher In_nite, Springer, Berlin, 1994.
• [13] J. Ketonen, Strong compactness and other cardinal sins, Ann. Math. Logic 5 (1972), 47-76.
• [14] A. Lévy and R. Solovay, Measurable cardinals and the continuum hypothesis, Israel J. Math. 5 (1967), 234-248.
• [15] T. Menas, On strong compactness and supercompactness, Ann. Math. Logic 7(1974/75), 327-359.
• [16] J. Silver, On the singular cardinals problem, in: Proc. Int. Congress of Mathematicians (Vancouver, 1974), Vol. 1, Canad. Math. Congress, Montreal, 1975, 265-268.
• [17] R. Solovay, Strongly compact cardinals and the GCH, in: Proceedings of the Tarski Symposium (Berkeley, CA, 1971), Proc. Sympos. Pure Math. 25, Amer. Math. Soc., Providence, RI, 1974, 365-372.