Timeline for If a result is apparently provable with AC, is actually independent of ZF?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 6, 2011 at 10:45 | comment | added | François G. Dorais | The online version at consequences.emich.edu/conseq.htm allows you to enter a form number and get a pdf of all equivalent statements. Tarski's result is form 0 AE. | |
| Feb 6, 2011 at 7:59 | history | undeleted | Andreas Blass | ||
| Feb 6, 2011 at 7:59 | history | edited | Andreas Blass | CC BY-SA 2.5 |
completely replaced an answer that duplicated a previous one
|
| Feb 5, 2011 at 22:39 | history | deleted | Andreas Blass | ||
| Feb 5, 2011 at 22:38 | history | answered | Andreas Blass | CC BY-SA 2.5 |