More on HOD-supercompactness

DOI10.1016/J.APAL.2020.102901MaRDI QIDQ2220484zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 25 January 2021

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2020.102901

zbMATH Keywords

HODmeasurable cardinalstrong cardinalsupercompact cardinal

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Recommendations

• The Hypothesis and a supercompact cardinal
• HOD-supercompactness, indestructibility, and level by level equivalence
• Some applications of supercompact extender based forcings to HOD
• Large cardinals need not be large in HOD
• Indestructibility, HOD, and the ground axiom

Cites work

• Collapsing the cardinals of HOD
• Double helix in large large cardinals and iteration of elementary embeddings
• Extensions with the approximation and cover properties have no new large cardinals
• Gap forcing
• Gap Forcing: Generalizing the Lévy-Solovay Theorem
• HOD-supercompactness, indestructibility, and level by level equivalence
• Homogeneous iteration and measure one covering relative to HOD
• In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures
• Large cardinals need not be large in HOD
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• On HOD-supercompactness
• On the strong equality between supercompactness and strong compactness
• Set Theory
• Set theory. An introduction to independence proofs
• Some applications of iterated ultrapowers in set theory
• Suitable extender models. I
• Tallness and level by level equivalence and inequivalence
• The Hypothesis and a supercompact cardinal
• The ground axiom
• The HOD dichotomy

Cited in

(3)

• Some applications of supercompact extender based forcings to HOD
• Large cardinals need not be large in HOD
• LARGE CARDINALS BEYOND CHOICE

This page was built for publication: More on HOD-supercompactness

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