Iteration Trees (Q4276535)
From MaRDI portal
scientific article; zbMATH DE number 493405
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Iteration Trees |
scientific article; zbMATH DE number 493405 |
Statements
15 March 1995
0 references
consistency of determinacy
0 references
large cardinals
0 references
Woodin cardinals
0 references
iteration trees
0 references
comparison of pre-mice
0 references
tree orderings
0 references
Iteration Trees (English)
0 references
0 references
