Timeline for Result that follows from ZFC and not ZF but are strictly weaker than choice
Current License: CC BY-SA 3.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Nov 25, 2012 at 15:19 | comment | added | Asaf Karagila♦ | @Andreas: Thank you for the corrections. I hope the edit is better. | |
Nov 25, 2012 at 15:18 | history | edited | Asaf Karagila♦ | CC BY-SA 3.0 |
deleted 6 characters in body
|
Nov 25, 2012 at 15:09 | comment | added | Andreas Blass | @Asaf: In the paragraph beginning "In the spirit" I think some text is missing. The first italicized assertion isn't actually an assertion, and the second is a consequence of AC so it can't imply the existence of an infinite Dedekind-finite set. | |
Nov 25, 2012 at 14:27 | history | edited | Asaf Karagila♦ | CC BY-SA 3.0 |
added 671 characters in body
|
Nov 25, 2012 at 11:29 | history | answered | Asaf Karagila♦ | CC BY-SA 3.0 |