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 | Citation: | 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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.