Timeline for Is this version of Zorn's lemma provable in ZF?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| 10 hours ago | history | edited | Elliot Glazer | CC BY-SA 4.0 |
deleted 8 characters in body
|
| 11 hours ago | vote | accept | Guozhen Shen | ||
| 12 hours ago | comment | added | Asaf Karagila♦ | I had a good hunch that this proof might go through. Thanks for confirming it! | |
| 12 hours ago | history | edited | Elliot Glazer | CC BY-SA 4.0 |
added 332 characters in body
|
| 12 hours ago | history | answered | Elliot Glazer | CC BY-SA 4.0 |