AXIOM I0 AND HIGHER DEGREE THEORY

DOI10.1017/jsl.2015.15zbMath1382.03071OpenAlexW2407914867WikidataQ114012442 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 lemmageneric absolutenessPrikry-type forcingdegree determinacyhigher degree theoryPosner-Robinson theorem\(\lambda\)-perfect set theoremaxiom \(I_{0}\)indestructibly supercompact

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other degrees and reducibilities in computability and recursion theory (03D30) Other aspects of forcing and Boolean-valued models (03E40) Determinacy principles (03E60)

Related Items (6)

A general tool for consistency results related to I1 ⋮ Implications of very large cardinals ⋮ Incomparable Vγ$V_\gamma$‐degrees ⋮ Generic at ⋮ \(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

This page was built for publication: AXIOM I₀ AND HIGHER DEGREE THEORY