HOD-supercompactness, Indestructibility, and Level by Level Equivalence

• Autorzy: Apter A. W. , Friedman S.

Identyfikatory

DOI

10.4064/ba62-3-1

• Języki publikacji: EN

Abstrakty

EN

In an attempt to extend the property of being supercompact but not HOD-supercompact to a proper class of indestructibly supercompact cardinals, a theorem is discovered about a proper class of indestructibly supercompact cardinals which reveals a surprising incompatibility. However, it is still possible to force to get a model in which the property of being supercompact but not HOD-supercompact holds for the least supercompact cardinal κ₀, κ₀ is indestructibly supercompact, the strongly compact and supercompact cardinals coincide except at measurable limit points, and level by level equivalence between strong compactness and supercompactness holds above κ₀ but fails below κ₀. Additionally, we get the property of being supercompact but not HOD-supercompact at the least supercompact cardinal, in a model where level by level equivalence between strong compactness and supercompactness holds.

Słowa kluczowe

EN

supercompact cardinal; strongly compact cardinal; measurable cardinal; HOD; 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. 3
• Strony: 197--209
• Opis fizyczny: Bibliogr. 20 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.

autor

Friedman S.

• Department of Mathematics and Computer Science, Kingsborough Community College-CUNY, 2001 Oriental Blvd, Brooklyn, NY 11235, U.S.A.

Bibliografia

• [Apt05] A. W. Apter, Diamond, square, and level by level equivalence, Arch. Math. Logic 44 (2005), 387–395.
• [Apt12] A. W. Apter, Indestructibility, measurability, and degrees of supercompactness, Math. Logic Quart. 58 (2012), 75–82.
• [AC01] A. W. Apter and J. Cummings, Identity crises and strong compactness II: Strong cardinals, Arch. Math. Logic 40 (2001), 25–38.
• [ACH07] A. W. Apter, J. Cummings, and J. D. Hamkins, Large cardinals with few measures, Proc. Amer. Math. Soc. 135 (2007), 2291–2300.
• [AH02] A. W. Apter and J. D. Hamkins, Indestructibility and the level-by-level agreement between strong compactness and supercompactness, J. Symbolic Logic 67 (2002), 820–840.
• [AS97] A. W. Apter and S. Shelah, On the strong equality between supercompactness and strong compactness, Trans. Amer. Math. Soc. 349 (1997), 103–128.
• [GS89] M. Gitik and S. Shelah, On certain indestructibility of strong cardinals and a question of Hajnal, Arch. Math. Logic 28 (1989), 35–42.
• [Ham98] J. D. Hamkins, Small forcing makes any cardinal superdestructible, J. Symbolic Logic 63 (1998), 51–58.
• [Ham99] J. D. Hamkins, Gap forcing: Generalizing the Lévy–Solovay theorem, Bull. Symbolic Logic 5 (1999), 264–272.
• [Ham00] J. D. Hamkins, The lottery preparation, Ann. Pure Appl. Logic 101 (2000), 103–146.
• [Ham01] J. D. Hamkins, Gap forcing, Israel J. Math. 125 (2001), 237–252.
• [Ham03] J. D. Hamkins, Extensions with the approximation and cover properties have no new large cardinals, Fund. Math. 180 (2003), 257–277.
• [Joh08] T. Johnstone, Strongly unfoldable cardinals made indestructible, J. Symbolic Logic 73 (2008), 1215–1248.
• [KM] Y. Kimchi and M. Magidor, The independence between the concepts of compactness and supercompactness, circulated manuscript.
• [Lav78] R. Laver, Making the supercompactness of κ indestructible under κ-directed closed forcing, Israel J. Math. 29 (1978), 385–388.
• [LS67] A. Lévy and R. M. Solovay, Measurable cardinals and the continuum hypothesis, Israel J. Math. 5 (1967), 234–248.
• [Men75] T. Menas, On strong compactness and supercompactness, Ann. Math. Logic 7 (1974/75), 327–359.
• [Rei07] J. Reitz, The ground axiom, J. Symbolic Logic 72 (2007), 1299–1317.
• [Sar08] G. Sargsyan, On HOD-supercompactness, Arch. Math. Logic 47 (2008), 765–768.
• [SRK78] R. M. Solovay, W. Reinhardt, and A. Kanamori, Strong axioms of infinity and elementary embeddings, Ann. Math. Logic 13 (1978), 73–116.