AXIOM I0 AND HIGHER DEGREE THEORY
DOI10.1017/jsl.2015.15zbMath1382.03071WikidataQ114012442 ScholiaQ114012442MaRDI QIDQ3450811
Publication date: 9 November 2015
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/jsl.2015.15
covering lemma; generic absoluteness; Prikry-type forcing; degree determinacy; higher degree theory; Posner-Robinson theorem; \(\lambda\)-perfect set theorem; axiom \(I_{0}\); indestructibly supercompact
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
03D30: Other degrees and reducibilities in computability and recursion theory
03E40: Other aspects of forcing and Boolean-valued models
03E60: Determinacy principles
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\)
- The left distributive law and the freeness of an algebra of elementary embeddings
- Infinitary combinatorics and the axiom of determinateness
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- Implications between strong large cardinal axioms
- Defining the Turing jump
- Inner models in the region of a Woodin limit of Woodin cardinals
- Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}\) hierarchy]
- On the algebra of elementary embeddings of a rank into itself
- Braid group actions on left distributive structures, and well orderings in the braid groups
- Proper Forcing
- Prikry-Type Forcings
- The Covering Lemma
- SUITABLE EXTENDER MODELS I