An aleph-one-like linear order has size and every point has only countably many predecessors. Consequently every proper initial segment is countable, since it is bounded by any point outside it. This differs from requiring every nonempty interval to be uncountable.
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.

Articles by others on the same topic (0)

There are currently no matching articles.