AXIOM I0 AND HIGHER DEGREE THEORY

DOI10.1017/jsl.2015.15zbMath1382.03071WikidataQ114012442 ScholiaQ114012442MaRDI QIDQ3450811

Xianghui Shi

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

zbMATH Keywords

covering lemma; generic absoluteness; Prikry-type forcing; degree determinacy; higher degree theory; Posner-Robinson theorem; \(\lambda\)-perfect set theorem; axiom \(I_{0}\); indestructibly supercompact

Mathematics Subject Classification ID

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

Generic at, Implications of very large cardinals, Incomparable Vγ$V_\gamma$‐degrees, A general tool for consistency results related to I1, \(I_0\) and combinatorics at \(\lambda ^+\), I0 and rank-into-rank axioms

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