Timeline for Consistency Strength of "HC is elementary in V[G]"
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 5, 2015 at 2:46 | vote | accept | Danielle Ulrich | ||
| Nov 5, 2015 at 0:24 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 46 characters in body
|
| Nov 5, 2015 at 0:16 | comment | added | Joel David Hamkins | One needs to verify that the Levy collapse forcing exhibits the definability lemma (the definability of the forcing relation), which is does when suitably formalized, although there are subtle issues. There is an excellent new paper discussing such issues: math.uni-bonn.de/people/pluecke/pub/classforcing.pdf. | |
| Nov 4, 2015 at 23:59 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 580 characters in body
|
| Nov 4, 2015 at 23:51 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
deleted 63 characters in body
|
| Nov 4, 2015 at 23:45 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 29 characters in body
|
| Nov 4, 2015 at 23:40 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |