Stationary set ($S\cap C\ne \varnothing \text{ for every club }C$)

A subset of a regular uncountable cardinal number $\kappa$ is stationary if it meets every club set in $\kappa$. Intersecting a stationary set with a club set preserves stationarity. Every member of the club filter is stationary. At a regular infinite $\theta <\kappa$, the stationarity of ordinals of prescribed cofinality supplies important examples.

For an uncountable regular cardinal $\kappa$, choose cofinal sequences $c_{\alpha }:\omega \to \alpha$ for the stationary set of ordinals of cofinality $\omega$. Above any bound, some fixed coordinate exceeds the bound on a stationary subset; Fodor lemma makes that coordinate constant on a stationary subset. Thus the stationary constant fibers, over all coordinates, have unboundedly many values. Regularity makes one coordinate have $\kappa$ such values. Its fibers are disjoint stationary sets; adding all leftover ordinals to one piece partitions $\kappa$.

A family $(A_{\alpha ,n}{)}_{\alpha <{\omega }_1,n<\omega }$ whose row at $\alpha$ partitions $(\alpha ,{\omega }_1)$ and whose fixed-column cells are pairwise disjoint. Choose injections $e_{\beta }:\beta \to \omega$ and put $A_{\alpha ,n}=\{\beta >\alpha :e_{\beta }(\alpha )=n\}$. This gives a matrix used to split stationary sets into many stationary pieces.

A sequence $D_{\alpha }\subseteq \alpha$ guesses every $X\subseteq {\omega }_1$ stationarily often: $\{\alpha :D_{\alpha }=X\cap \alpha \}$ is stationary.

For a stationary $S\subseteq {\omega }_1$, a sequence $D_{\alpha }\subseteq \alpha$ indexed by $S$ guesses every $X\subseteq {\omega }_1$ on a stationary subset of $S$.

At a correctly guessing limit stage of a normal tree construction, make every new level node extend a member of the guessed maximal tree antichain. It follows that the antichain has no later member. This produces a Suslin tree from the stationary diamond principle.

There are cofinal sequences $A_{\delta }\subseteq \delta$ of order type $\omega$ for the countable limit ordinals, such that every uncountable $X\subseteq {\omega }_1$ contains some $A_{\delta }$.

For a stationary $S\subseteq {\omega }_1$, there are cofinal ladders $A_{\delta }\subset \delta$ of order type $\omega$, indexed by limit ordinals in $S$, such that every uncountable $X\subseteq {\omega }_1$ contains one of these ladders. This predicts a contained ladder, whereas stationary diamond principle predicts a whole initial segment.

A function on a set of ordinals with $f(\alpha )<\alpha$ at every nonzero point of its domain. On a stationary subset of a regular uncountable cardinal, Fodor lemma makes it constant on a stationary subset.

A regressive function on a stationary subset of a regular uncountable cardinal is constant on a stationary subset.

If $S\subseteq \kappa$ is stationary and $f(\alpha )\in A_{\alpha }$ for a kappa-filtration, then $f$ is constant on a stationary subset. Restrict to limit indices and use continuity to find a smaller stage containing each value. Fodor lemma fixes that stage on a stationary subset. Its size is less than $\kappa$, so club filter completeness makes one value fiber stationary.

For a regular infinite $\theta <\kappa$, with $\kappa$ a regular uncountable cardinal number, $S_{\theta }^{\kappa }=\{\delta <\kappa :\mathrm{cf}(\delta )=\theta \}$ is stationary. Build a strictly increasing continuous $\theta$-sequence in any club set, and take its supremum. Closure places it in that club and the cofinality of an increasing ordinal supremum gives cofinality $\theta$. In particular the two disjoint sets $S_{\omega }^{{\omega }_2}$ and $S_{{\omega }_1}^{{\omega }_2}$ show that the club filter on ${\omega }_2$ is not an ultrafilter.