Timeline for Maximal chains and antichains of statements weaker than AC
Current License: CC BY-SA 3.0
12 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
S Dec 29, 2015 at 6:00 | history | suggested | Bartek | CC BY-SA 3.0 |
correction: chains -> maximal chains
|
Dec 29, 2015 at 5:36 | review | Suggested edits | |||
S Dec 29, 2015 at 6:00 | |||||
Dec 29, 2015 at 0:13 | vote | accept | Bartek | ||
Dec 28, 2015 at 22:21 | comment | added | Asaf Karagila♦ | Which is why trees are fun, there the two notions join! :-) | |
Dec 28, 2015 at 22:18 | comment | added | Joel David Hamkins | I agree. But in a Boolean algebra, the usual disjointness version of antichain is a far more useful and informative notion. If one thinks that all one has is a partial order, then the other notion may seem natural (even though we set theorists are instinctively completing our partial orders to complete Boolean algebras). | |
Dec 28, 2015 at 20:15 | comment | added | Asaf Karagila♦ | It is interesting to me how set theorists perceive the term "antichain" as in the context of forcing and Boolean algebras immediately, whereas most of other people think about the "usual", comparability related definition. | |
Dec 28, 2015 at 20:13 | history | edited | Asaf Karagila♦ | CC BY-SA 3.0 |
added 581 characters in body
|
Dec 28, 2015 at 13:04 | comment | added | Asaf Karagila♦ | Joel, yes, I noticed this earlier today, but I won't have time to edit my answer until later this evening. I was hoping no one will notice until then! ;-) | |
Dec 28, 2015 at 12:31 | comment | added | Joel David Hamkins | Asaf, just to be clear, you are also referring to the "incompatible" notion of antichain, rather than "incomparable", right? | |
Dec 28, 2015 at 3:00 | history | edited | Todd Trimble | CC BY-SA 3.0 |
persnickety change to Polish orthography (changing "Los")
|
Dec 27, 2015 at 23:32 | history | edited | Asaf Karagila♦ | CC BY-SA 3.0 |
added 324 characters in body
|
Dec 27, 2015 at 23:26 | history | answered | Asaf Karagila♦ | CC BY-SA 3.0 |