Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/34464
| Title: | Realizing an AD+ Model as a Derived Model of a Premouse | Authors: | ZHU YIZHENG | Keywords: | inner model theory, determinacy, descriptive set theory, hod mouse | Issue Date: | 2-Mar-2012 | Citation: | ZHU YIZHENG (2012-03-02). Realizing an AD+ Model as a Derived Model of a Premouse. ScholarBank@NUS Repository. | Abstract: | Assuming AD+, V=L(P(R)), and there is no proper class inner model containing all the reals that satisfies AD_R + "theta is regular" and is not equal to V, and assuming cf(theta) is not singular of uncountable cofinality, 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. | URI: | http://scholarbank.nus.edu.sg/handle/10635/34464 |
| Appears in Collections: | Ph.D Theses (Open) |
Show full item record
Files in This Item:
| File | Description | Size | Format | Access Settings | Version | |
|---|---|---|---|---|---|---|
| ZhuYZ.pdf | 2.16 MB | Adobe PDF | OPEN | None | View/Download |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.