[FOM] The "long line".

[Ilya Tsindlekht]

On Fri, Jun 22, 2007 at 03:44:41PM +1200, Bill Taylor wrote:
> 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) ?
yes
> 
> (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?
If the ordinal is countable or equals $\omega_1$, yes. If it is larger,
the point corresponding to $\omega_1$ cannot be automorphically mapped to zero.
> 
> wfct
> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom