Global square and mutual stationarity at the ℵn

Annals of Pure and Applied Logic 162 (10):787-806 (2011)


We 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

Download options


    Upload a copy of this work     Papers currently archived: 72,743

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

9 (#958,588)

6 months
1 (#386,989)

Historical graph of downloads
How can I increase my 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 Core Model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.
The Fine Structure of the Constructible Hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.

View all 8 references / Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles

Weak Compactness and No Partial Squares.John Krueger - 2011 - Journal of Symbolic Logic 76 (3):1035 - 1060.
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.
The Traditional Square of Opposition.Terence Parsons - 2008 - Stanford Encyclopedia of Philosophy.
Educating the Global Village.Torill Strand & Jørgen Huggler - 2011 - Nordic Studies in Education.
A Characterization of 2-Square Ultrafilters.Ned I. Rosen - 1983 - Journal of Symbolic Logic 48 (2):409-414.