Timeline for Which extension of ZFC proves that ZFC can only prove CH satisfied by the first two sets?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 25, 2022 at 19:54 | vote | accept | Zuhair Al-Johar | ||
| Apr 25, 2022 at 8:20 | answer | added | Wojowu | timeline score: 5 | |
| Apr 25, 2022 at 0:15 | comment | added | Noah Schweber | @Wojowu Those comments should be answers. | |
| Apr 24, 2022 at 20:57 | comment | added | Wojowu | Also, it's not true that ZFC+GCH fails everywhere proves that. If it did, then this theory would prove its own consistency, contradicting Godel's theorems. | |
| Apr 24, 2022 at 20:32 | comment | added | Wojowu | Complete failure of GCH has large cardinal consistency strength. The precise answer was already given in an answer to a question of yours from three years ago: math.stackexchange.com/q/3186630/127263 | |
| Apr 24, 2022 at 20:05 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 227 characters in body
|
| Apr 24, 2022 at 19:47 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |