Timeline for Formal proof of Con(ZFC) => Con(ZFC + not CH) in ZFC
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 10, 2012 at 23:06 | history | edited | Stefan Hoffelner | CC BY-SA 3.0 |
deleted 304 characters in body; deleted 119 characters in body
|
| Feb 10, 2012 at 22:29 | history | edited | Stefan Hoffelner | CC BY-SA 3.0 |
deleted 93 characters in body; deleted 30 characters in body; added 4 characters in body
|
| Feb 10, 2012 at 22:26 | comment | added | Stefan Hoffelner | Yes you are right. I falsely thought it would be necessary for any reason | |
| Feb 10, 2012 at 22:16 | comment | added | Goldstern | Your answer appeared while I was writing mine. I don't get the point of your theory T'. If there is a finite extension T' of T such that T' plus non-CH has a model, then T':=T will do as well. | |
| Feb 10, 2012 at 22:00 | history | edited | Stefan Hoffelner | CC BY-SA 3.0 |
added 16 characters in body
|
| Feb 10, 2012 at 21:47 | history | answered | Stefan Hoffelner | CC BY-SA 3.0 |