Timeline for Formal proof of Con(ZFC) => Con(ZFC + not CH) in ZFC
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 8, 2019 at 7:34 | comment | added | Emil Jeřábek | This is an overkill. You can get away with much weaker theories, such as $PV_1$. | |
| Sep 7, 2019 at 21:21 | history | answered | andrey bovykin | CC BY-SA 4.0 |