Large cardinals need not be large in HOD

DOI10.1016/J.APAL.2015.07.004MaRDI QIDQ490870zbMATH OpenOpenAlexFDO

Authors Yong Cheng, Sy-David Friedman, Joel David Hamkins

Publication date 21 August 2015

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

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

zbMATH Keywords

forcinglarge cardinalsabsolutenessHOD

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: We prove that large cardinals need not generally exhibit their large cardinal nature in HOD. For example, a supercompact cardinal $kappa$ need not be weakly compact in HOD, and there can be a proper class of supercompact cardinals in $V$, none of them weakly compact in HOD, with no supercompact cardinals in HOD. Similar results hold for many other types of large cardinals, such as measurable and strong cardinals.

Recommendations

• The Hypothesis and a supercompact cardinal
• Collapsing the cardinals of HOD
• LARGE CARDINALS BEYOND CHOICE
• More on HOD-supercompactness
• Some applications of supercompact extender based forcings to HOD

Cites work

• scientific article; zbMATH DE number 3484059 (Why is no real title available?)
• scientific article; zbMATH DE number 5233908 (Why is no real title available?)
• 0^# and inner models
• Collapsing the cardinals of HOD
• Consistency results about ordinal definability
• Destruction or preservation as you like it
• Easton's theorem in the presence of Woodin cardinals
• Extensions with the approximation and cover properties have no new large cardinals
• HOD-supercompactness, indestructibility, and level by level equivalence
• Indestructible strong unfoldability
• Large cardinals and definable well-orders on the universe
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• On certain indestructibility of strong cardinals and a question of Hajnal
• On extendible cardinals and the GCH
• Ramsey-like cardinals
• Ramsey-like cardinals. II.
• Rank-into-rank hypotheses and the failure of GCH
• Saturated ideals
• Set Theory
• Squares, scales and stationary reflection
• Suitable extender models. I
• Superstrong and other large cardinals are never Laver indestructible
• Tall cardinals
• The least weakly compact cardinal can be unfoldable, weakly measurable and nearly \(\theta\)-supercompact
• The lottery preparation
• The stable core
• The wholeness axioms and V=HOD
• Variations on ◊

Cited in

(13)

• More on HOD-supercompactness
• On the powersets of singular cardinals in HOD
• Virtual large cardinals
• The Hypothesis and a supercompact cardinal
• Indestructibility properties of Ramsey and Ramsey-like cardinals
• STRUCTURAL PROPERTIES OF THE STABLE CORE
• LARGE CARDINALS BEYOND CHOICE
• Homogeneous changes in cofinalities with applications to HOD
• Strongly compact cardinals and ordinal definability
• The consistency of level by level equivalence with \(V=\mathrm{HOD}\), the ground axiom, and instances of square and diamond
• Collapsing the cardinals of HOD
• Strong combinatorial principles and level by level equivalence
• Indestructibility properties of remarkable cardinals

This page was built for publication: Large cardinals need not be large in HOD

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