Extenders, embedding normal forms, and the Martin-Steel-theorem (Q4227884)
From MaRDI portal
scientific article; zbMATH DE number 1247651
Language | Label | Description | Also known as |
---|---|---|---|
English | Extenders, embedding normal forms, and the Martin-Steel-theorem |
scientific article; zbMATH DE number 1247651 |
Statements
Extenders, embedding normal forms, and the Martin-Steel-theorem (English)
0 references
27 June 1999
0 references
extender
0 references
embedding normal form
0 references
projective determinacy
0 references
Woodin cardinal
0 references
coding large elementary embeddings of models of set theory
0 references
Martin-Steel theorem
0 references