Timeline for The consistency of ZFC + CH gives the ability to travel to a universe which models ZFC + \neg CH? [closed]
Current License: CC BY-SA 3.0
15 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 13, 2012 at 1:54 | history | edited | user10290 | CC BY-SA 3.0 |
edited tags; edited title
|
| Mar 13, 2012 at 1:25 | history | edited | user10290 | CC BY-SA 3.0 |
edited title
|
| Mar 13, 2012 at 0:35 | history | closed |
Andrés E. Caicedo Henry Cohn Chandan Singh Dalawat Andy Putman Felipe Voloch |
not a real question | |
| Mar 10, 2012 at 18:54 | history | edited | user10290 | CC BY-SA 3.0 |
deleted 194 characters in body
|
| Mar 10, 2012 at 17:21 | comment | added | Andreas Blass | The edit seems to be based on a misunderstanding. You can get universes where CH is false by adjoining a lot of Cohen reals to any universe, whether or not this ground universe satisfies CH. (Of course, if your ground model violates CH, then you don't need to force over it at all.) | |
| Mar 10, 2012 at 3:04 | history | edited | user10290 | CC BY-SA 3.0 |
added 194 characters in body
|
| Oct 25, 2010 at 22:44 | comment | added | user10290 | Thanks Martin, I realize this is what I should have written. The title was for intrique :) | |
| Oct 24, 2010 at 19:54 | comment | added | Joel David Hamkins | Erin, welcome to MathOverflow! We look forward to more questions from you, as you learn forcing better... | |
| Oct 24, 2010 at 15:13 | vote | accept | CommunityBot | moved from User.Id=10290 by developer User.Id=35285 | |
| Oct 24, 2010 at 15:12 | vote | accept | CommunityBot | moved from User.Id=10290 by developer User.Id=35285 | |
| Oct 24, 2010 at 15:13 | |||||
| Oct 24, 2010 at 14:34 | comment | added | Andrés E. Caicedo | I do not understand your first question. Forcing is a technique, not a result. What do you mean by "vacuously true"? Also, I do not understand your "why are you allowed". Care to elaborate? | |
| Oct 24, 2010 at 10:24 | answer | added | Stefan Geschke | timeline score: 6 | |
| Oct 24, 2010 at 8:28 | answer | added | Bjørn Kjos-Hanssen | timeline score: 7 | |
| Oct 24, 2010 at 8:17 | comment | added | Martin Brandenburg | Con(ZFC + CH) -> Con(ZFC + not CH) | |
| Oct 24, 2010 at 7:46 | history | asked | user10290 | CC BY-SA 2.5 |