Timeline for Does Rolle's Theorem imply Dedekind completeness?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 13, 2012 at 22:05 | vote | accept | James Propp | ||
| Feb 8, 2012 at 14:53 | comment | added | Gerald Edgar | Of course you can also find what "Rolle's Theorem" means in that problem by reading the statement of the problem ... Another use for this may be that the Puisieux-series method Pelling uses to construct his example maybe can be adapted to produce other counterexample nonarchimedean ordered fields. | |
| Feb 8, 2012 at 0:12 | history | answered | James Propp | CC BY-SA 3.0 |