AXIOM <i>I</i><sub>0</sub> AND HIGHER DEGREE THEORY (Q3450811)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | AXIOM <i>I</i><sub>0</sub> AND HIGHER DEGREE THEORY |
scientific article |
Statements
AXIOM <i>I</i><sub>0</sub> AND HIGHER DEGREE THEORY (English)
0 references
9 November 2015
0 references
axiom \(I_{0}\)
0 references
Prikry-type forcing
0 references
generic absoluteness
0 references
\(\lambda\)-perfect set theorem
0 references
Posner-Robinson theorem
0 references
degree determinacy
0 references
indestructibly supercompact
0 references
higher degree theory
0 references
covering lemma
0 references
