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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2011.03.003
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 57,156
Through your library

References found in this work BETA

Squares, Scales and Stationary Reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
The Core Model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.
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.

View all 8 references / Add more references

Citations of this work BETA

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.


Added to PP index

Total views
8 ( #946,925 of 2,411,756 )

Recent downloads (6 months)
2 ( #346,023 of 2,411,756 )

How can I increase my downloads?


My notes