On splitting stationary subsets of large cardinals

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

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,635

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.

Analytics

Added to PP
2009-01-28

Downloads
25 (#460,105)

6 months
1 (#419,510)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof Theory of Weak Compactness.Toshiyasu Arai - 2013 - Journal of Mathematical Logic 13 (1):1350003.
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