On splitting stationary subsets of large cardinals

Journal of Symbolic Logic 42 (2):203-214 (1977)

Let κ denote a regular uncountable cardinal and NS the normal ideal of nonstationary subsets of κ. Our results concern the well-known open question whether NS fails to be κ + -saturated, i.e., are there κ + stationary subsets of κ with pairwise intersections nonstationary? Our first observation is: Theorem. NS is κ + -saturated iff for every normal ideal J on κ there is a stationary set $A \subseteq \kappa$ such that $J = NS \mid A = \{X \subseteq \kappa:X \cap A \in NS\}$ . Turning our attention to large cardinals, we extend the usual (weak) Mahlo hierarchy to define "greatly Mahlo" cardinals and obtain the following: Theorem. If κ is greatly Mahlo then NS is not κ + -saturated. Theorem. If κ is ordinal Π 1 1 -indescribable (e.g., weakly compact), ethereal (e.g., subtle), or carries a κ-saturated ideal, then κ is greatly Mahlo. Moreover, there is a stationary set of greatly Mahlo cardinals below any ordinal Π 1 1 -indescribable cardinal. These methods apply to other normal ideals as well; e.g., the subtle ideal on an ineffable cardinal κ is not κ + -saturated
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2272121
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: 38,992
Through your library

References found in this work BETA

The Fine Structure of the Constructible Hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229-308.
Some Applications of Iterated Ultrapowers in Set Theory.Kenneth Kunen - 1970 - Annals of Mathematical Logic 1 (2):179-227.
Some Combinatorial Problems Concerning Uncountable Cardinals.Thomas J. Jech - 1973 - Annals of Mathematical Logic 5 (3):165-198.

Add more references

Citations of this work BETA

Regularity Properties of Ideals and Ultrafilters.Alan D. Taylor - 1979 - Annals of Mathematical Logic 16 (1):33-55.
New Combinatorial Principle on Singular Cardinals and Normal Ideals.Toshimichi Usuba - 2018 - Mathematical Logic Quarterly 64 (4-5):395-408.

View all 11 citations / Add more citations

Similar books and articles

Normality and P(Κ)/J.R. Zrotowski - 1991 - Journal of Symbolic Logic 56 (3):1064-1067.
An Ideal Characterization of Mahlo Cardinals.Qi Feng - 1989 - Journal of Symbolic Logic 54 (2):467-473.
Full Reflection at a Measurable Cardinal.Thomas Jech & Jiří Witzany - 1994 - Journal of Symbolic Logic 59 (2):615-630.
Fat Sets and Saturated Ideals.John Krueger - 2003 - Journal of Symbolic Logic 68 (3):837-845.
Co-Stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Reflecting Stationary Sets.Menachem Magidor - 1982 - Journal of Symbolic Logic 47 (4):755-771.
Splitting Pκλ Into Stationary Subsets.Yo Matsubara - 1988 - Journal of Symbolic Logic 53 (2):385 - 389.


Added to PP index

Total views
18 ( #399,896 of 2,319,657 )

Recent downloads (6 months)
3 ( #440,827 of 2,319,657 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature