AXIOM I0 AND HIGHER DEGREE THEORY

DOI10.1017/JSL.2015.15MaRDI QIDQ3450811zbMATH OpenOpenAlexWikidataFDO

Authors Xianghui Shi

Publication date 9 November 2015

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/jsl.2015.15

zbMATH Keywords

\(\lambda\)-perfect set theoremaxiom \(I_{0}\)covering lemmadegree determinacygeneric absolutenesshigher degree theoryindestructibly supercompactPosner-Robinson theoremPrikry-type forcing

Mathematics Subject Classification ID

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

Recommendations

• I0 and rank-into-rank axioms
• scientific article; zbMATH DE number 4082366
• scientific article; zbMATH DE number 729162
• scientific article; zbMATH DE number 4029520
• scientific article; zbMATH DE number 5584935
• Axiomatization of the degree of Fitzpatrick, Pejsachowicz and Rabier
• Towards an axiomatization of the theory of higher categories
• Independently axiomatizable \(\mathcal L_{\omega _{1},\omega}\) theories
• Classifying \(\aleph_ 0\)-categorical theories
• Axiomatic homology and duality revisited

Cites work

• Braid group actions on left distributive structures, and well orderings in the braid groups
• Defining the Turing jump
• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• scientific article; zbMATH DE number 194101 (Why is no real title available?)
• Implications between strong large cardinal axioms
• Infinitary combinatorics and the axiom of determinateness
• Inner models in the region of a Woodin limit of Woodin cardinals
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• On the algebra of elementary embeddings of a rank into itself
• Prikry-type forcings
• Proper forcing
• Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}]\) hierarchy
• Suitable extender models. I
• The covering lemma
• The left distributive law and the freeness of an algebra of elementary embeddings
• The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\)

Cited in

(9)

• I0 and rank-into-rank axioms
• scientific article; zbMATH DE number 1670489 (Why is no real title available?)
• Large cardinals and higher degree theory
• A general tool for consistency results related to I1
• Generic at
• I₀ and combinatorics at ^+
• Implications of very large cardinals
• Incomparable VγV_\gamma‐degrees
• Descriptive properties of I2-embeddings

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3450811)