Disjoint stationary subsets of omega-one
ID: disjoint-stationary-subsets-of-omega-one
There are pairwise disjoint stationary subsets of the nonzero countable limit ordinals. In a Ulam matrix on omega-one, each row partitions a stationary tail into countably many cells, so some cell is stationary. One column contains stationary cells in uncountably many rows, and the column cells are disjoint. Unions indexed by different subsets of then differ on a stationary set.
New to topics? Read the docs here!