Mice with finitely many Woodin cardinals from optimal determinacy hypotheses (Q4988870)
From MaRDI portal
scientific article; zbMATH DE number 7349929
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mice with finitely many Woodin cardinals from optimal determinacy hypotheses |
scientific article; zbMATH DE number 7349929 |
Statements
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses (English)
0 references
20 May 2021
0 references
inner model
0 references
mouse
0 references
determinacy
0 references
Woodin cardinal
0 references
projective determinacy
0 references
