Timeline for Order types of positive reals
Current License: CC BY-SA 2.5
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 18, 2010 at 17:04 | comment | added | Robin Chapman | As a remark, this result is used to prove that the long line really is a $1$-manifold. | |
| May 18, 2010 at 15:41 | vote | accept | David Eppstein | ||
| May 18, 2010 at 13:59 | comment | added | Joel David Hamkins | All well-orderings are rigid as orders, and this question: mathoverflow.net/questions/9901/… inquires more generally about other rigid suborders of the real line. | |
| May 18, 2010 at 10:32 | comment | added | gowers | A small remark: I once gave a graduate-level course in which I wanted to do transfinite induction over the countable ordinals but didn't want to spend time developing the theory of ordinals. So I defined the countable ordinals as equivalence classes of well-ordered subsets of the reals, which is the kind of thing one would like to do for the ordinals themselves but cannot because of set-theoretic paradoxes. It worked nicely and was completely rigorous. | |
| May 18, 2010 at 8:47 | answer | added | Andrew Marks | timeline score: 0 | |
| May 18, 2010 at 7:42 | answer | added | Pietro Majer | timeline score: 5 | |
| May 18, 2010 at 7:37 | answer | added | gowers | timeline score: 10 | |
| May 18, 2010 at 7:36 | answer | added | Robin Chapman | timeline score: 16 | |
| May 18, 2010 at 7:30 | history | asked | David Eppstein | CC BY-SA 2.5 |