| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4661632 | Annals of Pure and Applied Logic | 2015 | 90 Pages |
Abstract
Assuming AD++V=L(P(R))AD++V=L(P(R)), and assuming there is no proper class inner model containing all the reals that satisfies ADR+“θis regular”, we prove that in some forcing extension, either V is a derived model of a premouse or V embeds into a derived model of a premouse.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Yizheng Zhu,