Talk:GO-Space Embeds Densely into Linearly Ordered Space

There occurs to me no way but the dirty one you already found. It would IMO be good to specify that $\subseteq$ on lower sets is a linear ordering — such is not entirely obvious (well, it is once it is stated) but tacitly used. --Lord_Farin (talk) 22:02, 20 February 2013 (UTC)

The dirt gets even dirtier when I think about a closed embedding, so I've been trying to keep that out of my mind. There, instead of sticking a point between such upper/lower pairs, we need to stick an open interval (a copy of $(0..1)$ should do, or perhaps just a copy of $\Q$ in case someone wants to avoid reals). --Dfeuer (talk) 22:30, 20 February 2013 (UTC)

I'm currently having enough trouble grasping what goes on at the moment, without replacing points with $\Q$s. --Lord_Farin (talk) 22:44, 20 February 2013 (UTC)

Help explain the embedding proof

It's completely unreadable, and I'm not sure how to fix that right now. Maybe I'll have better luck when I'm more alert, but I'm not sure. --Dfeuer (talk) 06:05, 28 February 2013 (UTC)

For starters, you could explain what $\uparrow'$ and its sibling are. — Lord_Farin (talk) 08:56, 1 March 2013 (UTC)