New answers tagged inner-model-theory
8
votes
Accepted
Precipitous ideal and inner model
No. Suppose otherwise. Let $G$ be the Levy collapse generic, and $D$ be the generic for forcing with the nonstationary ideal after that. Since $\mathrm{Ult}(L[U,G],D)$ is wellfounded, letting $i_D:L[U,...
- 7,514
Top 50 recent answers are included