On splitting stationary subsets of large cardinals

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


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



    Upload a copy of this work     Papers currently archived: 92,907

External links

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

Through your library

Similar books and articles

Normality and p(κ)/j.R. Zrotowski - 1991 - Journal of Symbolic Logic 56 (3):1064-1067.
Reflecting stationary sets.Menachem Magidor - 1982 - Journal of Symbolic Logic 47 (4):755-771.
Co-stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Fat sets and saturated ideals.John Krueger - 2003 - Journal of Symbolic Logic 68 (3):837-845.
Full reflection at a measurable cardinal.Thomas Jech & Jiří Witzany - 1994 - Journal of Symbolic Logic 59 (2):615-630.
An ideal characterization of mahlo cardinals.Qi Feng - 1989 - Journal of Symbolic Logic 54 (2):467-473.


Added to PP

50 (#325,858)

6 months
21 (#133,350)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Adding a Nonreflecting Weakly Compact Set.Brent Cody - 2019 - Notre Dame Journal of Formal Logic 60 (3):503-521.
Stationary Cardinals.Wenzhi Sun - 1993 - Archive for Mathematical Logic 32 (6):429-442.

View all 19 citations / Add more citations

References found in this work

The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Some applications of iterated ultrapowers in set theory.Kenneth Kunen - 1970 - Annals of Mathematical Logic 1 (2):179.

Add more references