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

    0 references
    0 references
    0 references
    15 March 1995
    0 references
    0 references
    0 references
    0 references
    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
    0 references
    Iteration Trees (English)
    0 references