Timeline for Definable map from all the ordinals to the surreal numbers with a dense image?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 8, 2012 at 16:27 | vote | accept | David Feldman | ||
| Apr 8, 2012 at 12:13 | comment | added | Asaf Karagila♦ | While not directly related to this question, this m.SE thread might be helpful in understanding a bit how the surreals work in a small scale: math.stackexchange.com/q/77992/622 | |
| Apr 8, 2012 at 7:41 | answer | added | Joel David Hamkins | timeline score: 7 | |
| Apr 8, 2012 at 3:53 | comment | added | David Feldman | Thanks Michael Greinecker, but I think the answer there just says that global choice moots my question, as I suggested already. Gonshor's book defines a notation of surreal integer and proves every element of No equals the quotient of two integers. But his class of integers doesn't admit any obvious well-ordering. It seems not entirely unreasonable that some narrower concept of integer might lead to a definably well-ordered class and merely a dense set of quotients. So I think I have a real question about the surreals and not just about classes. | |
| Apr 8, 2012 at 1:44 | comment | added | Michael Greinecker | I think this might be relevant to your first question: mathoverflow.net/questions/44303/cardinality-of-classes | |
| Apr 7, 2012 at 22:13 | history | asked | David Feldman | CC BY-SA 3.0 |