[FOM] The "long line".
W.Taylor at math.canterbury.ac.nz
Thu Jun 21 23:44:41 EDT 2007
IIRC, the long line is obtained by starting with a large ordinal,
(say aleph_1), and inserting a copy of interval (0,1) after each point;
(and extending the order relation in the obvious way).
(i) If the starting ordinal is a countable one, is the final result
order-isomorphic to [0,1) ?
(ii) If the long line is preceded by a reversed long line, and the two
zero-points identified, is the resulting ordered set automorphic
with any other point is mappable to the double-zero?
More information about the FOM