Timeline for Maximal chains and antichains of statements weaker than AC
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:19 | history | edited | CommunityBot |
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
|
|
| Dec 29, 2015 at 20:19 | comment | added | Bartek | Hello @Andrej, thank you. Yes, Joel has explained it to me in his answer. At first I got the above and below the wrong way round, but it's clear to me now. | |
| Dec 29, 2015 at 12:59 | comment | added | Andrej Bauer | A terminological remark: you are describing the Lindenbaum-Tarski algebra of ZF and you are in particular looking at everything above $AC$ in this algebra. | |
| Dec 29, 2015 at 0:13 | vote | accept | Bartek | ||
| Dec 28, 2015 at 3:28 | history | edited | Bartek | CC BY-SA 3.0 |
edited body
|
| Dec 28, 2015 at 0:23 | answer | added | Joel David Hamkins | timeline score: 6 | |
| Dec 27, 2015 at 23:31 | history | edited | Bartek | CC BY-SA 3.0 |
deleted 492 characters in body
|
| Dec 27, 2015 at 23:26 | answer | added | Asaf Karagila♦ | timeline score: 5 | |
| Dec 27, 2015 at 23:18 | history | edited | Bartek | CC BY-SA 3.0 |
edited body
|
| Dec 27, 2015 at 23:12 | history | asked | Bartek | CC BY-SA 3.0 |