## Journal of Symbolic Logic

### On Splitting Stationary Subsets of Large Cardinals

#### Abstract

Let $\kappa$ denote a regular uncountable cardinal and $NS$ the normal ideal of nonstationary subsets of $\kappa$. Our results concern the well-known open question whether $NS$ fails to be $\kappa^+$-saturated, i.e., are there $\kappa^+$ stationary subsets of $\kappa$ with pairwise intersections nonstationary? Our first observation is: Theorem. $NS$ is $\kappa^+$-saturated iff for every normal ideal $J$ on $\kappa$ 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 $\kappa$ is greatly Mahlo then $NS$ is not $\kappa^+$-saturated. Theorem. If $\kappa$ is ordinal $\Pi^1_1$-indescribable (e.g., weakly compact), ethereal (e.g., subtle), or carries a $\kappa$-saturated ideal, then $\kappa$ is greatly Mahlo. Moreover, there is a stationary set of greatly Mahlo cardinals below any ordinal $\Pi^1_1$-indescribable cardinal. These methods apply to other normal ideals as well; e.g., the subtle ideal on an ineffable cardinal $\kappa$ is not $\kappa^+$-saturated.

#### Article information

Source
J. Symbolic Logic, Volume 42, Issue 2 (1977), 203-214.

Dates
First available in Project Euclid: 6 July 2007

https://projecteuclid.org/euclid.jsl/1183739946

Mathematical Reviews number (MathSciNet)
MR505505

Zentralblatt MATH identifier
0373.02047

JSTOR