The Hypothesis and a supercompact cardinal

DOI10.1002/MALQ.201600007MaRDI QIDQ5108124zbMATH OpenOpenAlexFDO

Authors Yong Cheng

Publication date 29 April 2020

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1801.10420

Mathematics Subject Classification ID

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

Abstract: In this paper, we prove that: if $kappa$ is supercompact and the $mathsfHOD$ Hypothesis holds, then there is a proper class of regular cardinals in $V_{kappa}$ which are measurable in $mathsfHOD$. Woodin also proved this result. As a corollary, we prove Woodin's Local Universality Theorem. This work shows that under the assumption of the $mathsfHOD$ Hypothesis and supercompact cardinals, large cardinals in $mathsfV$ are reflected to be large cardinals in $mathsfHOD$ in a local way, and reveals the huge difference between $mathsfHOD$-supercompact cardinals and supercompact cardinals under the $mathsfHOD$ Hypothesis.

Recommendations

• The wholeness axioms and the class of supercompact cardinals
• Some structural results concerning supercompact cardinals
• Cardinals and iterations of HOD
• Supercompactness and measurable limits of strong cardinals
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• scientific article; zbMATH DE number 4046639
• HOD in inner models with Woodin cardinals
• Epireflections and supercompact cardinals
• On a supertopological cardinal invariant
• The enhanced Levinski property and the class of supercompact cardinals

Cites work

• Generalizations of the Kunen inconsistency
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures
• Large cardinals need not be large in HOD
• Suitable extender models. I
• Suitable extender models. II: Beyond -huge
• The HOD dichotomy

Cited in

(6)

• Epireflections and supercompact cardinals
• More on HOD-supercompactness
• Some applications of supercompact extender based forcings to HOD
• Homogeneous changes in cofinalities with applications to HOD
• Large cardinals need not be large in HOD
• The HOD dichotomy

This page was built for publication: The Hypothesis and a supercompact cardinal

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