Stationary encoding in an aleph-one-like dense order
ID: stationary-encoding-in-an-aleph-one-like-dense-order
For a subset of the nonzero countable limit ordinals, let when and otherwise. The order sum is an aleph-one-like linear order whose nonempty proper initial segments are or . At the limit cut before block , the complementary final segment has a least point exactly when . Club agreement of countable filtrations makes this condition invariant modulo a nonstationary difference. Disjoint stationary subsets of omega-one consequently supply nonisomorphic orders.
New to topics? Read the docs here!