Large cardinals need not be large in HOD

DOI10.1016/J.APAL.2015.07.004zbMATH Open1373.03109arXiv1407.6335OpenAlexW2155287324MaRDI QIDQ490870FDOQ490870

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)

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.

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

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

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)

Cites Work

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

Cited In (13)

• On the powersets of singular cardinals in HOD
• More on HOD-supercompactness
• Virtual large cardinals
• The Hypothesis and a supercompact cardinal
• STRUCTURAL PROPERTIES OF THE STABLE CORE
• Indestructibility properties of Ramsey and Ramsey-like cardinals
• 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)