Timeline for Why can't an explicit well-ordering of the reals be ruled out in ZF?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 6, 2012 at 16:50 | comment | added | Trevor Wilson | Just to clarify, you are using "explicit" to mean "definable", right? | |
| Sep 6, 2012 at 16:46 | history | answered | Gerald Edgar | CC BY-SA 3.0 |