Timeline for Formal proof of Con(ZFC) => Con(ZFC + not CH) in ZFC
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 7, 2019 at 21:21 | answer | added | andrey bovykin | timeline score: 0 | |
| Feb 23, 2014 at 23:11 | answer | added | Nik Weaver | timeline score: 6 | |
| Feb 11, 2012 at 0:38 | answer | added | Joel David Hamkins | timeline score: 15 | |
| Feb 10, 2012 at 22:44 | answer | added | Timothy Chow | timeline score: 7 | |
| Feb 10, 2012 at 22:22 | vote | accept | Tobias Neukom | ||
| Feb 10, 2012 at 21:58 | answer | added | Goldstern | timeline score: 19 | |
| Feb 10, 2012 at 21:47 | answer | added | Stefan Hoffelner | timeline score: 3 | |
| Feb 10, 2012 at 20:36 | comment | added | Stefan Hoffelner | Also this seems related to your question: mathoverflow.net/questions/57225/… | |
| Feb 10, 2012 at 19:47 | history | asked | Tobias Neukom | CC BY-SA 3.0 |