Journal of Symbolic Logic 63 (1):149-157 (1998)
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)|
References found in this work BETA
Strong Axioms of Infinity and Elementary Embeddings.Robert M. Solovay, William N. Reinhardt & Akihiro Kanamori - 1978 - Annals of Mathematical Logic 13 (1):73-116.
On Certain Indestructibility of Strong Cardinals and a Question of Hajnal.Moti Gitik & Saharon Shelah - 1989 - Archive for Mathematical Logic 28 (1):35-42.
On Strong Compactness and Supercompactness.Telis K. Menas - 1975 - Annals of Mathematical Logic 7 (4):327-359.
Some Results on Consecutive Large Cardinals.Arthur W. Apter - 1983 - Annals of Pure and Applied Logic 25 (1):1-17.
Citations of this work BETA
The Lottery Preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.
Destruction or Preservation as You Like It.Joel David Hamkins - 1998 - Annals of Pure and Applied Logic 91 (2-3):191-229.
Patterns of Compact Cardinals.Arthur W. Apter - 1997 - Annals of Pure and Applied Logic 89 (2-3):101-115.
Level by Level Inequivalence Beyond Measurability.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (7-8):707-712.
Similar books and articles
Indestructibility and the Level-by-Level Agreement Between Strong Compactness and Supercompactness.Arthur W. Apter & Joel David Hamkins - 2002 - Journal of Symbolic Logic 67 (2):820-840.
The Least Measurable Can Be Strongly Compact and Indestructible.Arthur W. Apter & Moti Gitik - 1998 - Journal of Symbolic Logic 63 (4):1404-1412.
Exactly Controlling the Non-Supercompact Strongly Compact Cardinals.Arthur W. Apter & Joel David Hamkins - 2003 - Journal of Symbolic Logic 68 (2):669-688.
Gap Forcing: Generalizing the Lévy-Solovay Theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
Small Forcing Makes Any Cardinal Superdestructible.Joel David Hamkins - 1998 - Journal of Symbolic Logic 63 (1):51-58.
Some Structural Results Concerning Supercompact Cardinals.Arthur W. Apter - 2001 - Journal of Symbolic Logic 66 (4):1919-1927.
Identity Crises and Strong Compactness.Arthur W. Apter & James Cummings - 2000 - Journal of Symbolic Logic 65 (4):1895-1910.
Unfoldable Cardinals and the GCH.Joel David Hamkins - 2001 - Journal of Symbolic Logic 66 (3):1186-1198.
Laver Sequences for Extendible and Super-Almost-Huge Cardinals.Paul Corazza - 1999 - Journal of Symbolic Logic 64 (3):963-983.
Added to index2009-01-28
Total downloads10 ( #435,665 of 2,178,178 )
Recent downloads (6 months)1 ( #316,504 of 2,178,178 )
How can I increase my downloads?