Please use this identifier to cite or link to this item: http://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
Source: 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 SizeFormatAccess SettingsVersion 
ZhuYZ.pdf2.16 MBAdobe PDF

OPEN

NoneView/Download

Page view(s)

213
checked on Dec 11, 2017

Download(s)

333
checked on Dec 11, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.