Reflecting stationary sets and successors of singular cardinals

Archive for Mathematical Logic 31 (1):25-53 (1991)

Abstract
REF is the statement that every stationary subset of a cardinal reflects, unless it fails to do so for a trivial reason. The main theorem, presented in Sect. 0, is that under suitable assumptions it is consistent that REF and there is a κ which is κ+n -supercompact. The main concepts defined in Sect. 1 are PT, which is a certain statement about the existence of transversals, and the “bad” stationary set. It is shown that supercompactness (and even the failure of PT) implies the existence of non-reflecting stationary sets. E.g., if REF then for manyλ ⌝ PT(λ, ℵ1). In Sect. 2 it is shown that Easton-support iteration of suitable Levy collapses yield a universe with REF if for every singular λ which is a limit of supercompacts the bad stationary set concentrates on the “right” cofinalities. In Sect. 3 the use of oracle c.c. (and oracle proper—see [Sh-b, Chap. IV] and [Sh 100, Sect. 4]) is adapted to replacing the diamond by the Laver diamond. Using this, a universe as needed in Sect. 2 is forced, where one starts, and ends, with a universe with a proper class of supercompacts. In Sect. 4 bad sets are handled in ZFC. For a regular λ {δ<+ : cfδ<λ} is good. It is proved in ZFC that ifλ=cfλ>ℵ1 then {α<+ : cfα<λ} is the union of λ sets on which there are squares
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01370693
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,940
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Full Reflection of Stationary Sets Below ℵω.Thomas Jech & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (2):822 - 830.
The Primal Framework II: Smoothness.J. T. Baldwin & S. Shelah - 1991 - Annals of Pure and Applied Logic 55 (1):1-34.
Independence Results.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (3):563-573.
On Power of Singular Cardinals.Saharon Shelah - 1986 - Notre Dame Journal of Formal Logic 27 (2):263-299.

View all 6 references / Add more references

Citations of this work BETA

Squares, Scales and Stationary Reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
A Model of Cummings and Foreman Revisited.Spencer Unger - 2014 - Annals of Pure and Applied Logic 165 (12):1813-1831.
Adding Closed Unbounded Subsets of Ω₂ with Finite Forcing.William J. Mitchell - 2005 - Notre Dame Journal of Formal Logic 46 (3):357-371.
Applications of PCF Theory.Saharon Shelah - 2000 - Journal of Symbolic Logic 65 (4):1624-1674.

View all 28 citations / Add more citations

Similar books and articles

Reflecting Stationary Sets.Menachem Magidor - 1982 - Journal of Symbolic Logic 47 (4):755-771.
Full Reflection at a Measurable Cardinal.Thomas Jech & Jiří Witzany - 1994 - Journal of Symbolic Logic 59 (2):615-630.
Co-Stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Stationary Cardinals.Wenzhi Sun - 1993 - Archive for Mathematical Logic 32 (6):429-442.
Splitting Stationary Sets In.Toshimichi Usuba - 2012 - Journal of Symbolic Logic 77 (1):49-62.
Simultaneous Reflection and Impossible Ideals.Todd Eisworth - 2012 - Journal of Symbolic Logic 77 (4):1325-1338.
Successors of Singular Cardinals and Coloring Theorems I.Todd Eisworth & Saharon Shelah - 2005 - Archive for Mathematical Logic 44 (5):597-618.
A Relative of the Approachability Ideal, Diamond and Non-Saturation.Assaf Rinot - 2010 - Journal of Symbolic Logic 75 (3):1035-1065.
Some Problems in Singular Cardinals Combinatorics.Matthew Foreman - 2005 - Notre Dame Journal of Formal Logic 46 (3):309-322.
Fat Sets and Saturated Ideals.John Krueger - 2003 - Journal of Symbolic Logic 68 (3):837-845.
Diamond and Antichains.James Cummings & Ernest Schimmerling - 2004 - Archive for Mathematical Logic 44 (1):71-76.

Analytics

Added to PP index
2013-11-23

Total views
11 ( #640,708 of 2,235,445 )

Recent downloads (6 months)
1 ( #975,725 of 2,235,445 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature