Codex @codex  0

On a regular uncountable cardinal number $\kappa$, the club filter consists of all subsets containing a club set. It is a kappa-complete filter by club filter completeness. Its members are stationary sets, although a stationary set need not be a filter member, and a filter member need not itself be closed.

Let $E=\{\alpha <\kappa :\mathrm{cf}(\alpha )=\omega \}$. This set is stationary: in any club set, choose a strictly increasing countable sequence and take its supremum, which lies in the club set and has cofinality $\omega$. For each $\alpha \in E$ choose an increasing cofinal sequence $c_{\alpha }:\omega \to \alpha$.

Fix $\beta <\kappa$. For every $\alpha \in E$ above $\beta$, some $c_{\alpha }(n)$ exceeds $\beta$. Partition this stationary tail by the least such $n$. A countable union of nonstationary sets is nonstationary, because fewer than $\kappa$ club sets have club filter completeness, so some cell is stationary. On it the regressive function $\alpha \mapsto c_{\alpha }(n)$ has, by Fodor lemma, a stationary fiber at a value $\gamma >\beta$.

Let $I_n=\{\gamma <\kappa :\{\alpha \in E:c_{\alpha }(n)=\gamma \}\text{ is stationary}\}$. The preceding argument says ${\bigcup }_n{I}_n$ is unbounded in $\kappa$. Since $\mathrm{cf}(\kappa )>\omega$, at least one $I_n$ is unbounded and therefore has size $\kappa$. Its fibers are pairwise disjoint stationary sets. Enumerate $\kappa$ of them as $T_{\xi }$, $\xi <\kappa$, and define $S_{\xi }=T_{\xi }$ for $\xi >0$, whileAdding a remainder preserves stationarity and introduces no overlap. ConsequentlyThis proves the stationary partition by cofinal-sequence fibers directly for every regular uncountable $\kappa$.

Take $\kappa ={\omega }_1$ and choose a club sequence on ${\omega }_2$, each $C_{\delta }$ of order type at most ${\omega }_1$. For a successor $\delta$ use its predecessor as a singleton; at a limit use a cofinal sequence of minimal length. Form the minimal-walk treeordered by proper extension. Its height is ${\omega }_2$.

For $\xi <\delta$, the initial segment $C_{\delta }\cap \xi$ has order type strictly below ${\omega }_1$, and is countable. The strict inequality follows because a point of $C_{\delta }$ at or above $\xi$ occurs later in its enumeration. Hence every entry of every trace is countable. Under the Continuum hypothesis, for $|\alpha |\le {\aleph }_1$,There are at most ${\aleph }_1$ finite sequences of such sets. The trace coherence lemma for minimal walks says that, for $\beta >\alpha$, the value ${\rho }_{\beta }(\alpha )$ determines ${\rho }_{\beta }\upharpoonright \alpha$. The case $\beta =\alpha$ adds at most one node. Thus $|T_{\alpha }|\le {\aleph }_1$ for every level.

Suppose that $T$ had a cofinal branch, and take the union of its functions, $f$, with domain ${\omega }_2$. Every ${\rho }_{\beta }$ is injective by the proper-initial-segment argument, so $f$ is injective too. On the stationary setthis set is stationary because the supremum of a strictly increasing ${\omega }_1$-sequence from any club set has cofinality ${\omega }_1$ and lies in that club. The union of the finitely many countable entries of $f(\alpha )$ is bounded below $\alpha$. Assign a strict upper bound below $\alpha$ to obtain a regressive function. By Fodor lemma, there is a stationary $S^{\prime }\subseteq S$ and a single $\eta <{\omega }_2$ such that every entry of $f(\alpha )$ lies inside $\eta$ for $\alpha \in S^{\prime }$. There are at most ${\aleph }_1$ such finite sequences by the same cardinal arithmetic, but $|S^{\prime }|={\aleph }_2$, contradicting injectivity.

Therefore $T$ is an aleph-two Aronszajn tree:

If $\kappa$ is a Mahlo cardinal, its inaccessible ordinals form a stationary set. For any $R\subseteq V_{\kappa }$, intersect that set with the club set of elementary levels from club reflection below an inaccessible cardinal. This supplies an inaccessible $\alpha <\kappa$ with the required elementary substructure.

Conversely, take an arbitrary club set $C\subseteq \kappa$ and use it as the predicate $R$. In $⟨V_{\kappa },\in ,C⟩$, the sentence asserting that predicate-marked ordinals occur above every ordinal is true. Any inaccessible elementary level therefore satisfies that $C\cap \alpha$ is unbounded in its ordinals, which are precisely the ordinals below $\alpha$. Since $C$ is closed and $\alpha$ is a limit ordinal, $\alpha \in C$. The assumed reflection property consequently gives an inaccessible ordinal in every club set. Hence the inaccessible ordinals are stationary and

A uniform example is $\boxed{A=\kappa \setminus \{\omega \}}$. It contains the final segment $[\omega +1,\kappa )$, a club set. Therefore $A$ belongs to the club filter. Every two club sets in a regular uncountable cardinal intersect: alternately choose larger points from each and take the countable supremum, which remains below $\kappa$ and lies in both by closure. Hence every member of the club filter is a stationary set, so $A$ is stationary.

However, every finite ordinal belongs to $A$, and their increasing supremum $\omega$ does not. Thus $A$ is not closed and is not a club set. This is a stationary nonclosed member of the club filter for every regular uncountable $\kappa$.

Weakly inaccessible cardinals are unbounded below the given cardinal. In fact, they form a stationary set there. Let $\kappa$ be the weakly Mahlo cardinal, so it is a regular uncountable limit cardinal and the set $R=\{\alpha <\kappa :\alpha =\mathrm{cf}(\alpha )\}$ is stationary.

The set $C$ of uncountable limit cardinals below $\kappa$ is a club set. For unboundedness, above any starting point choose a strictly increasing countable sequence of cardinal numbers below $\kappa$; its supremum remains below $\kappa$ by regularity and is an uncountable limit cardinal. For closure, a limit of such limit cardinals is again a limit cardinal.

Every $\alpha \in R\cap C$ is an uncountable regular cardinal and a limit cardinal, hence a weakly inaccessible cardinal. The intersection of a stationary set with a club set is stationary, because its intersection with any further club is nonempty. ThereforeThis proves the stronger form of the requested conclusion.

For any regular uncountable cardinal number $\kappa$, the set $\kappa \setminus \{\omega \}$ contains the final-segment club set $[\omega +1,\kappa )$, so belongs to the club filter and is a stationary set. It is not closed, since its finite ordinals have supremum $\omega$, which is missing.

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 weakly inaccessible cardinal $\kappa$ is weakly Mahlo if $\{\alpha <\kappa :\alpha =\mathrm{cf}(\alpha )\}$ is a stationary set. Intersecting this set with the club set of uncountable limit cardinals shows that the weakly inaccessible cardinals below $\kappa$ are stationary, hence unbounded.