Please use this identifier to cite or link to this item: https://doi.org/10.1016/j.apal.2003.12.002
Title: Supercomplete extenders and type 1 mice: Part I
Authors: Feng, Q. 
Jensen, R.
Keywords: Extenders
Inner model
Iteration trees
Large cardinals
Mice
Premice
Supercompleteness
Issue Date: Aug-2004
Source: Feng, Q., Jensen, R. (2004-08). Supercomplete extenders and type 1 mice: Part I. Annals of Pure and Applied Logic 128 (1-3) : 1-73. ScholarBank@NUS Repository. https://doi.org/10.1016/j.apal.2003.12.002
Abstract: We study type 1 premice equipped with supercomplete extenders. In this paper, we show that such premice are normally iterable and all normal iteration trees of type 1 premice has a unique cofinal branch. We give a construction of an KC type model using supercomplete type 1 extenders. © 2003 Elsevier B.V. All rights reserved.
Source Title: Annals of Pure and Applied Logic
URI: http://scholarbank.nus.edu.sg/handle/10635/104220
ISSN: 01680072
DOI: 10.1016/j.apal.2003.12.002
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

2
checked on Apr 23, 2018

WEB OF SCIENCETM
Citations

1
checked on Apr 23, 2018

Page view(s)

35
checked on Feb 27, 2018

Google ScholarTM

Check

Altmetric


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