Supercomplete extenders and type 1 mice: Part I

https://doi.org/10.1016/j.apal.2003.12.002Get rights and content
Under an Elsevier user license
open archive

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.

MSC

03E45
03E55

Keywords

Iteration trees
Premice
Mice
Extenders
Supercompleteness
Inner model
Large cardinals

Cited by (0)

1

The first author is supported by CNSF Grant 19925102 and 19931020.

2

The second author is supported by DFG Grant Je209/3-1.