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
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 25, 2022 at 19:54 | vote | accept | Zuhair Al-Johar | ||
| Apr 25, 2022 at 11:28 | comment | added | Wojowu | @ZuhairAl-Johar It should be obvious. ZFC doesn't prove X iff ZFC + not X is consistent. | |
| Apr 25, 2022 at 11:22 | comment | added | Zuhair Al-Johar | What is the proof of the first line in this answer? | |
| Apr 25, 2022 at 8:20 | history | answered | Wojowu | CC BY-SA 4.0 |