Ulam matrix on omega-one
ID: ulam-matrix-on-omega-one
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.
New to topics? Read the docs here!