Abstract

Let A be a non-empty set. A set $S\subseteq \mathcal{P}(A)$ is said to be stationary in $\mathcal{P}(A)$ if for every f: [A] <ω → A there exists x ∈ S such that x ≠ A and f"[x] <ω ⊆ x. In this paper we prove the following: For an uncountable cardinal λ and a stationary set S in \mathcal{P}(\lambda) , if there is a regular uncountable cardinal κ ≤ λ such that {x ∈ S: x ⋂ κ ∈ κ} is stationary, then S can be split into κ disjoint stationary subsets