Supercomplete extenders and type 1 mice: Part I
文献类型：期刊论文
| 作者 | Feng, Q; Jensen, R |
| 刊名 | ANNALS OF PURE AND APPLIED LOGIC
 |
| 出版日期 | 2004-08-01 |
| 卷号 | 128期号:1-3页码:1-73 |
| 关键词 | iteration trees premice mice extenders supercompleteness inner model large cardinals |
| ISSN号 | 0168-0072 |
| DOI | 10.1016/j.apal.2003.12.002 |
| 英文摘要 | 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. |
| WOS研究方向 | Mathematics ; Science & Technology - Other Topics |
| 语种 | 英语 |
| WOS记录号 | WOS:000221905500001 |
| 出版者 | ELSEVIER SCIENCE BV |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/917]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 通讯作者 | 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. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。