Realizing an AD+ Model as a Derived Model of a Premouse

Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/34464

DC Field	Value
dc.title	Realizing an AD+ Model as a Derived Model of a Premouse
dc.contributor.author	ZHU YIZHENG
dc.date.accessioned	2012-08-02T18:00:53Z
dc.date.available	2012-08-02T18:00:53Z
dc.date.issued	2012-03-02
dc.identifier.citation	ZHU YIZHENG (2012-03-02). Realizing an AD+ Model as a Derived Model of a Premouse. ScholarBank@NUS Repository.
dc.identifier.uri	http://scholarbank.nus.edu.sg/handle/10635/34464
dc.description.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.
dc.language.iso	en
dc.subject	inner model theory, determinacy, descriptive set theory, hod mouse
dc.type	Thesis
dc.contributor.department	MATHEMATICS
dc.contributor.supervisor	FENG QI
dc.description.degree	Ph.D
dc.description.degreeconferred	DOCTOR OF PHILOSOPHY
dc.identifier.isiut	NOT_IN_WOS
Appears in Collections:	Ph.D Theses (Open)

File	Description	Size	Format	Access Settings	Version
ZhuYZ.pdf		2.16 MB	Adobe PDF	OPEN	None	View/Download

Check