Timeline for Preservation of Woodinness when it overlaps the active extender
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 6, 2016 at 15:51 | history | bounty ended | Dan Saattrup Nielsen | ||
| Jul 5, 2016 at 14:27 | vote | accept | Dan Saattrup Nielsen | ||
| Jul 5, 2016 at 12:40 | comment | added | Stefan Hoffelner | Yes that's right | |
| Jul 5, 2016 at 10:02 | comment | added | Dan Saattrup Nielsen | So, the reason why the extenders you mention are sufficient to capture all subsets of $V_\delta$ in the ultrapower is because $\text{lh }E$ is a cardinal of the ultrapower, so that any subset of $V_\delta$ lies in $\mathcal J_{\text{lh }E}^{\text{Ult}}$, which by coherence is just $\mathcal J_{\text{lh }E}^{\mathcal M}$, so we've already taken care of that subset. Is this correct? | |
| Jul 5, 2016 at 9:36 | history | answered | Stefan Hoffelner | CC BY-SA 3.0 |