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!