Supercomplete extenders and type 1 mice: Part I
Under an Elsevier user license
open archive
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.
Copyright © 2003 Elsevier B.V. All rights reserved.