Tame failures of the unique branch hypothesis and models of \(\mathsf{AD}_{\mathbb{R}}+\Theta\) is regular (Q2951898)
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 6673301
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Tame failures of the unique branch hypothesis and models of \(\mathsf{AD}_{\mathbb{R}}+\Theta\) is regular |
scientific article; zbMATH DE number 6673301 |
Statements
Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular (English)
0 references
10 January 2017
0 references
unique branch hypothesis
0 references
tame iteration trees
0 references
inner models
0 references
large cardinals
0 references
core model induction
0 references
hod mice
0 references
0.8735456466674805
0 references
0.8497644662857056
0 references
0.7642314434051514
0 references
0.7051340937614441
0 references