Timeline for About the axiom of choice, the fundamental theorem of algebra, and real numbers
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 7, 2022 at 16:54 | answer | added | saolof | timeline score: 1 | |
| S Jan 15, 2016 at 7:07 | history | suggested | Martin Sleziak |
added (axiom-of-choice) tag
|
|
| Jan 15, 2016 at 6:49 | review | Suggested edits | |||
| S Jan 15, 2016 at 7:07 | |||||
| Jun 21, 2012 at 23:09 | history | edited | François G. Dorais | CC BY-SA 3.0 |
fixed some grammar and spelling; deleted 1 characters in body
|
| Jun 21, 2012 at 23:03 | comment | added | François G. Dorais | Gerald, that's an interesting remark. I believe that this fact is also intuitionistically valid. In fact, in a topos, the Cauchy and Dedekind reals are the same precisely when the Cauchy reals are ordered... | |
| Jun 21, 2012 at 21:35 | comment | added | Gerald Edgar | It is a theorem of ZF that any two complete (in the order sense) ordered fields are isomorphic. In particular, the complete ordered fields constructed by the Dedekind and Cauchy methods are isomorphic. AC is not needed for any of this. | |
| Jun 21, 2012 at 21:15 | answer | added | Goldstern | timeline score: 9 | |
| Jun 21, 2012 at 21:15 | answer | added | François G. Dorais | timeline score: 14 | |
| Jun 21, 2012 at 21:14 | answer | added | Andreas Blass | timeline score: 31 | |
| Jun 21, 2012 at 20:39 | history | asked | Buschi Sergio | CC BY-SA 3.0 |