A family whose row at partitions and whose fixed-column cells are pairwise disjoint. Choose injections and put . This gives a matrix used to split stationary sets into many stationary pieces.
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.

Articles by others on the same topic (0)

There are currently no matching articles.