Timeline for Forcings predicted by core model theory $+$$ZFC$ results proved by the method of core model theory
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Feb 23, 2018 at 11:26 | comment | added | Joel David Hamkins | Not quite, although it can produce a model with a supercompact $\kappa$ with very long stretches (as long as desired) with the GCH holding, starting below $\kappa$ and holding beyond $\kappa$. | |
| Feb 23, 2018 at 7:51 | comment | added | Mohammad Golshani | Thanks a lot. Can your method be used to find an inner model of supercompact with GCH (starting just from a supercompact ). | |
| Feb 22, 2018 at 15:25 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |