Timeline for Is this version of Zorn's lemma provable in ZF?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| 12 hours ago | comment | added | Asaf Karagila♦ | I was going to let it be, because I have a deadline to meet this week, but I just couldn't. It feels good to not worry about this for now. | |
| 12 hours ago | comment | added | Noah Schweber | Nice - I was working my way towards this, but you beat me to it! | |
| 12 hours ago | history | answered | Asaf Karagila♦ | CC BY-SA 4.0 |