×

Laver indestructibility and the class of compact cardinals. (English) Zbl 0899.03038

Summary: Using an idea developed in joint work with Shelah, we show how to redefine Laver’s notion of forcing making a supercompact cardinal \(\kappa\) indestructible under \(\kappa\)-directed closed forcing to give a new proof of the Kimchi-Magidor Theorem in which every compact cardinal in the universe (supercompact or strongly compact) satisfies certain indestructibility properties. Specifically, we show that if \(K\) is the class of supercompact cardinals in the ground model, then it is possible to force and construct a generic extension in which the only strongly compact cardinals are the elements of \(K\) or their measurable limit points, every \(\kappa\in K\) is a supercompact cardinal indestructible under \(\kappa\)-directed closed forcing, and every \(\kappa\) a measurable limit point of \(K\) is a strongly compact cardinal indestructible under \(\kappa\)-directed closed forcing not changing \(\wp(\kappa)\). We then derive as a corollary a model for the existence of a strongly compact cardinal \(\kappa\) which is not \(\kappa^+\) supercompact but which is indestructible under \(\kappa\)-directed closed forcing not changing \(\wp(\kappa)\) and remains non-\(\kappa^+\) supercompact after such a forcing has been done.

MSC:

03E55 Large cardinals
03E40 Other aspects of forcing and Boolean-valued models
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] The {\(\kappa\)}-closed unbounded filter and supercompact cardinals 46 pp 31{\(\kappa\)}40– (1981)
[2] DOI: 10.2307/2007004 · doi:10.2307/2007004
[3] Axiomatic set theory pp 357– (1971)
[4] DOI: 10.2307/1971415 · Zbl 0645.03028 · doi:10.2307/1971415
[5] On the compactness of N1 and N2 43 pp 394– (1978)
[6] Handbook of mathematical logic pp 403– (1977)
[7] Surveys in set theory pp 1–
[8] Transactions of the American Mathematical Society
[9] DOI: 10.1007/BF02774081 · Zbl 0603.03016 · doi:10.1007/BF02774081
[10] DOI: 10.1016/0168-0072(83)90051-9 · Zbl 0548.03030 · doi:10.1016/0168-0072(83)90051-9
[11] DOI: 10.1016/0003-4843(75)90009-1 · Zbl 0299.02084 · doi:10.1016/0003-4843(75)90009-1
[12] DOI: 10.2307/1971065 · Zbl 0365.02057 · doi:10.2307/1971065
[13] DOI: 10.1007/BF02771612 · Zbl 0289.02044 · doi:10.1007/BF02771612
[14] DOI: 10.1007/BF02761175 · Zbl 0381.03039 · doi:10.1007/BF02761175
[15] The evolution of large cardinal axioms in set theory pp 99– (1978)
[16] The higher infinite (1994)
[17] Set theory (1978)
[18] DOI: 10.1007/BF01624081 · Zbl 0663.03041 · doi:10.1007/BF01624081
[19] DOI: 10.1016/0003-4843(78)90031-1 · Zbl 0376.02055 · doi:10.1016/0003-4843(78)90031-1
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.