Collapsing the cardinals of HOD

DOI10.1142/S0219061315500075zbMATH Open1348.03046arXiv1601.03482MaRDI QIDQ5744320FDOQ5744320

Authors: James Cummings, Mohammad Golshani, Sy-David Friedman 

Publication date: 18 February 2016

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Abstract: Assuming that $GCH$ holds and $kappa$ is $kapp{a}^{+3}$-supercompact, we construct a generic extension $W$ of $V$ in which $kappa$ remains strongly inaccessible and $(alph{a}^{+}{)}^{HOD}<alph{a}^{+}$ for every infinite cardinal $alpha<kappa$. In particular the rank-initial segment $W_{k}appa$ is a model of ZFC in which $(alph{a}^{+}{)}^{HOD}<alph{a}^{+}$ for every infinite cardinal $alpha$.

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

Recommendations

• Large cardinals need not be large in HOD
• Weak Covering at Large Cardinals
• scientific article; zbMATH DE number 1548940
• Inner models with large cardinal features usually obtained by forcing
• Some applications of supercompact extender based forcings to HOD

zbMATH Keywords

HODsupercompact Radin forcingfailure of weak covering

Mathematics Subject Classification ID

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

Cites Work

• The fine structure of the constructible hierarchy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (15)

• Stacking mice
• On the powersets of singular cardinals in HOD
• More on HOD-supercompactness
• STRUCTURAL PROPERTIES OF THE STABLE CORE
• Some applications of supercompact extender based forcings to HOD
• Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
• Homogeneous changes in cofinalities with applications to HOD
• Accessing the switchboard via set forcing
• A covering lemma for HOD of \(K(\mathbb R)\)
• HIGHER MILLER FORCING MAY COLLAPSE CARDINALS
• Cardinals and iterations of HOD
• HOD, V and the GCH
• Large cardinals need not be large in HOD
• Homogeneous iteration and measure one covering relative to HOD
• On -Strongly Measurable Cardinals

This page was built for publication: Collapsing the cardinals of HOD

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