Timeline for Proper classes subnumerous to $V$ in a model of a Morse-Kelley related theory
Current License: CC BY-SA 3.0
8 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Dec 28, 2021 at 19:54 | vote | accept | Zuhair Al-Johar | ||
Sep 24, 2016 at 15:58 | comment | added | Asaf Karagila♦ | Who doesn't? Prikry forcing is an epitome of awesomeness! | |
Sep 22, 2016 at 13:34 | comment | added | Noah Schweber | @AsafKaragila Derp. Fixed. And yes, it would work with just a worldly (but I really like Prikry forcing :P). | |
Sep 21, 2016 at 23:36 | history | edited | Noah Schweber | CC BY-SA 3.0 |
deleted 1 character in body
|
Sep 21, 2016 at 12:21 | comment | added | Zuhair Al-Johar | I don't think we need to go that far just to answer the first two conditions. I'll post an answer to this effect in ZFC | |
Sep 21, 2016 at 4:33 | comment | added | Asaf Karagila♦ | Are you sure there isn't a typo in how you defined the proper classes? Also, wouldn't that work with the first worldly cardinal without the need for forcing? | |
Sep 20, 2016 at 16:06 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 210 characters in body
|
Sep 20, 2016 at 16:00 | history | answered | Noah Schweber | CC BY-SA 3.0 |