Stationary partition by cofinal-sequence fibers
ID: stationary-partition-by-cofinal-sequence-fibers
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 .
New to topics? Read the docs here!