Graduate studies at Western
Bulletin of Symbolic Logic 7 (3):305-314 (2001)
|Abstract||We prove that in all Mitchell-Steel core models, □ κ holds for all κ. (See Theorem 2.). From this we obtain new consistency strength lower bounds for the failure of □ κ if κ is either singular and countably closed, weakly compact, or measurable. (Corallaries 5, 8, and 9.) Jensen introduced a large cardinal property that we call subcompactness; it lies between superstrength and supercompactness in the large cardinal hierarchy. We prove that in all Jensen core models, □ κ holds iff κ is not subcompact. (See Theorem 15; the only if direction is essentially due to Jensen.)|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Rami Grossberg (1989). Models with Second Order Properties in Successors of Singulars. Journal of Symbolic Logic 54 (1):122-137.
Mitchell Spector (1991). Extended Ultrapowers and the Vopěnka-Hrbáček Theorem Without Choice. Journal of Symbolic Logic 56 (2):592-607.
Kai Hauser (1999). A Minimal Counterexample to Universal Baireness. Journal of Symbolic Logic 64 (4):1601-1627.
Ralf-Dieter Schindler (1999). Successive Weakly Compact or Singular Cardinals. Journal of Symbolic Logic 64 (1):139-146.
Ali Enayat (2001). Power-Like Models of Set Theory. Journal of Symbolic Logic 66 (4):1766-1782.
Ralf Schindler (2006). Core Models in the Presence of Woodin Cardinals. Journal of Symbolic Logic 71 (4):1145 - 1154.
Philip Welch (1987). The Reals in Core Models. Journal of Symbolic Logic 52 (1):64-67.
W. J. Mitchell (1999). Jónsson Cardinals, Erdös Cardinals, and the Core Model. Journal of Symbolic Logic 64 (3):1065-1086.
Richard Gostanian (1980). Constructible Models of Subsystems of ZF. Journal of Symbolic Logic 45 (2):237-250.
Arthur W. Apter (1999). On Measurable Limits of Compact Cardinals. Journal of Symbolic Logic 64 (4):1675-1688.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?