Journal of Symbolic Logic 63 (1):149-157 (1998)
|Abstract||Using an idea developed in joint work with Shelah, we show how to redefine Laver's notion of forcing making a supercompact cardinal κ indestructible under κ-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 κ ∈ K is a supercompact cardinal indestructible under κ-directed closed forcing, and every κ a measurable limit point of K is a strongly compact cardinal indestructible under κ-directed closed forcing not changing ℘(κ). We then derive as a corollary a model for the existence of a strongly compact cardinal κ which is not κ + supercompact but which is indestructible under κ-directed closed forcing not changing ℘(κ) and remains non-κ + supercompact after such a forcing has been done|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Arthur W. Apter & Joel David Hamkins (2002). Indestructibility and the Level-by-Level Agreement Between Strong Compactness and Supercompactness. Journal of Symbolic Logic 67 (2):820-840.
Arthur W. Apter & Moti Gitik (1998). The Least Measurable Can Be Strongly Compact and Indestructible. Journal of Symbolic Logic 63 (4):1404-1412.
Arthur W. Apter & Joel David Hamkins (2003). Exactly Controlling the Non-Supercompact Strongly Compact Cardinals. Journal of Symbolic Logic 68 (2):669-688.
Joel David Hamkins (1999). Gap Forcing: Generalizing the Lévy-Solovay Theorem. Bulletin of Symbolic Logic 5 (2):264-272.
Joel David Hamkins (1998). Small Forcing Makes Any Cardinal Superdestructible. Journal of Symbolic Logic 63 (1):51-58.
Arthur W. Apter (2001). Some Structural Results Concerning Supercompact Cardinals. Journal of Symbolic Logic 66 (4):1919-1927.
Arthur W. Apter & James Cummings (2000). Identity Crises and Strong Compactness. Journal of Symbolic Logic 65 (4):1895-1910.
Joel David Hamkins (2001). Unfoldable Cardinals and the GCH. Journal of Symbolic Logic 66 (3):1186-1198.
Paul Corazza (1999). Laver Sequences for Extendible and Super-Almost-Huge Cardinals. Journal of Symbolic Logic 64 (3):963-983.
Arthur W. Apter (1999). On Measurable Limits of Compact Cardinals. Journal of Symbolic Logic 64 (4):1675-1688.
Added to index2009-01-28
Total downloads2 ( #245,680 of 722,708 )
Recent downloads (6 months)1 ( #60,247 of 722,708 )
How can I increase my downloads?