Timeline for Uncountable models of Kelley-Morse set theory with only a countable number of sets
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 29, 2016 at 13:57 | vote | accept | Asaf Karagila♦ | ||
| Jul 14, 2016 at 23:28 | answer | added | Ali Enayat | timeline score: 11 | |
| Jul 14, 2016 at 10:14 | comment | added | Mohammad Golshani | In "The number of $β$-models of Kelley-Morse set theory" the following is proved: We prove the following theorem: For any ordinal $α$ which is the height of a countable $β$-model of Kelley-Morse set theory with the scheme of choice, there exist $2^{ω_1}$ nonisomorphic $β$-models of that theory of height $α$ and power $ω_1$, and with the same universe of sets. Moreover, assuming Martin's axiom, there exist $2^{2^ω}$ $β$-models of power $2^ω$ with the same sets. | |
| Jul 14, 2016 at 9:48 | history | asked | Asaf Karagila♦ | CC BY-SA 3.0 |