Supercomplete extenders and type 1 mice: Part I

doi:10.1016/j.apal.2003.12.002

CSpace

	Supercomplete extenders and type 1 mice: Part I
	Feng, Q ; Jensen, R
	2004-08-01
发表期刊	ANNALS OF PURE AND APPLIED LOGIC
ISSN	0168-0072
卷号	128 期号:1-3 页码:1-73
摘要	We study type I premice equipped with supercomplete extenders. In this paper, we show that such premice are normally iterable and all normal iteration trees of type I premice has a unique cofinal branch. We give a construction of an K-C type model using supercomplete type I extenders. (C) 2003 Elsevier B.V. All rights reserved.
关键词	iteration trees premice mice extenders supercompleteness inner model large cardinals
DOI	10.1016/j.apal.2003.12.002
语种	英语
WOS研究方向	Mathematics ; Science & Technology - Other Topics
WOS类目	Mathematics, Applied ; Mathematics ; Logic
WOS记录号	WOS:000221905500001
出版者	ELSEVIER SCIENCE BV
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/918
专题	中国科学院数学与系统科学研究院
通讯作者	Feng, Q
作者单位	1.Chinese Acad Sci, Acad Math & Syst Sci, Inst Math, Beijing 100080, Peoples R China 2.Natl Univ Singapore, Dept Math, Singapore 117543, Singapore 3.Humboldt Univ, Inst Math, D-10099 Berlin, Germany
推荐引用方式 GB/T 7714	Feng, Q,Jensen, R. Supercomplete extenders and type 1 mice: Part I[J]. ANNALS OF PURE AND APPLIED LOGIC,2004,128(1-3):1-73.
APA	Feng, Q,&Jensen, R.(2004).Supercomplete extenders and type 1 mice: Part I.ANNALS OF PURE AND APPLIED LOGIC,128(1-3),1-73.
MLA	Feng, Q,et al."Supercomplete extenders and type 1 mice: Part I".ANNALS OF PURE AND APPLIED LOGIC 128.1-3(2004):1-73.