The core model induction in a choiceless context (Q5449698)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5250616
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The core model induction in a choiceless context |
scientific article; zbMATH DE number 5250616 |
Statements
18 March 2008
0 references
core model
0 references
Axiom of Determinacy
0 references
Woodin mouse
0 references
0.8400086164474487
0 references
0.8128182291984558
0 references
0.7941864132881165
0 references
0.7761433720588684
0 references
0.760066032409668
0 references
