Timeline for How to settle the Generalized Continuum Hypothesis when there are urelements?
Current License: CC BY-SA 4.0
14 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
May 28 at 9:13 | comment | added | Zuhair Al-Johar | @ElliotGlazer Yes! I should have added that the incomparability to pure sets condition must be changed to non-subnumerosity to pure sets. | |
May 28 at 8:25 | comment | added | Elliot Glazer | Even Z (without foundation) is enough to prove the standard equivalences of choice, e.g. AC iff Well-ordering Thm iff cardinal trichotomy iff surjective cardinal trichotomy. | |
May 27 at 14:14 | vote | accept | Zuhair Al-Johar | ||
May 27 at 14:14 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
deleted 151 characters in body
|
May 26 at 18:05 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 29 characters in body
|
May 26 at 17:49 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 124 characters in body
|
May 26 at 17:35 | comment | added | Zuhair Al-Johar | Yes! You are right. The question should be about ZCA. Anyhow. | |
May 26 at 17:34 | vote | accept | Zuhair Al-Johar | ||
May 26 at 17:49 | |||||
May 26 at 17:29 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
[Edit removed during grace period]
|
May 26 at 14:20 | history | became hot network question | |||
May 26 at 13:48 | answer | added | Joel David Hamkins | timeline score: 8 | |
May 26 at 12:33 | comment | added | Monroe Eskew | A set theory with Choice that permits incomparable cardinalities just seems to be missing an axiom. | |
May 26 at 11:57 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 450 characters in body
|
May 26 at 6:15 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |