Stationary partition by cofinal-sequence fibers Created 2026-10-06 Updated 2026-10-07
For an uncountable regular cardinal , choose cofinal sequences for the stationary set of ordinals of cofinality . 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 such values. Its fibers are disjoint stationary sets; adding all leftover ordinals to one piece partitions .
Start with positions whose entire extension cylinder set lies in the winning open set. At each successor stage add I-positions with some successor already present and II-positions with every successor already present; take unions at limit ordinals. The stable set is the least fixed point of this order-preserving operation. The first entry ordinal supplies a strictly decreasing rank until the winning prefix is reached.