Timeline for If a result is apparently provable with AC, is actually independent of ZF?
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 18, 2011 at 19:21 | vote | accept | Gabriel Furstenheim | ||
| Feb 6, 2011 at 2:57 | comment | added | Andrés E. Caicedo | @Gerald: Yes, that is precisely what you said. (I misread and was confused.) It is a nice example. | |
| Feb 6, 2011 at 2:53 | comment | added | Gerald Edgar | Tom is correct, isn't that what I said? | |
| Feb 5, 2011 at 22:05 | comment | added | Tom Ellis | I guess (but don't know) that Gerald means they present a proof without AC and then as an exercise suggest a much easier proof that does use AC (via Tichonoff's theorem). | |
| Feb 5, 2011 at 19:48 | comment | added | Andrés E. Caicedo | I don't understand this answer. They are using the axiom of choice in the form of a well-known equivalent version. | |
| Feb 5, 2011 at 18:00 | history | answered | Gerald Edgar | CC BY-SA 2.5 |