[FOM] The "long line".

Bill Taylor 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 mailing list