Annals of Pure and Applied Logic 162 (10):787-806 (2011)
AbstractWe give the proof of a theorem of Jensen and Zeman on the existence of a global □ sequence in the Core Model below a measurable cardinal κ of Mitchell order ) equal to κ++, and use it to prove the following theorem on mutual stationarity at n.Let ω1 denote the first uncountable cardinal of V and set to be the class of ordinals of cofinality ω1.TheoremIf every sequence n m. In particular, there is such a model in which for all sufficiently large m<ω, the class of measurables λ with oM≥ωm is, in V, stationary below m+2
Added to PP
Historical graph of downloads
References found in this work
Squares, Scales and Stationary Reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Scales, Squares and Reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (1):35-98.
The Fine Structure of the Constructible Hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Canonical Structure in the Universe of Set Theory: Part Two.James Cummings, Matthew Foreman & Menachem Magidor - 2006 - Annals of Pure and Applied Logic 142 (1):55-75.
Citations of this work
No citations found.
Similar books and articles
Internal Consistency and Global Co-Stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2008 - Journal of Symbolic Logic 73 (2):512 - 521.
Some Open Problems in Mutual Stationarity Involving Inner Model Theory: A Commentary.P. D. Welch - 2005 - Notre Dame Journal of Formal Logic 46 (3):375-379.
Weak Compactness and No Partial Squares.John Krueger - 2011 - Journal of Symbolic Logic 76 (3):1035 - 1060.
The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic.Harvey Friedman & Michael Sheard - 1989 - Journal of Symbolic Logic 54 (4):1456-1459.
The Square of Opposition and the Four Fundamental Choices.Antonino Drago - 2008 - Logica Universalis 2 (1):127-141.
Inverse Images of Box Formulas in Modal Logic.Lloyd Humberstone - 2013 - Studia Logica 101 (5):1031-1060.
On the Aristotelian Square of Opposition.Dag Westerståhl - 2005 - In Felix Larsson (ed.), Kapten Mnemos Kolumbarium. Philosophical Communications.
Can a Proof Compel Us?Cesare Cozzo - 2005 - In C. Cellucci D. Gillies (ed.), Mathematical Reasoning and Heuristics. King's College Publications. pp. 191-212.
Reflections on the Mutual Benefits of Philosophical and Global Education.Anita Silvers - 1985 - Teaching Philosophy 8 (2):111-120.
Interview Project From Nepal For International Exchange Of Intercultural Ideas for Global Peace and Mutual Understanding.Yubraj Aryal - 2008 - Proceedings of the Xxii World Congress of Philosophy 35:5-11.