Some applications of supercompact extender based forcings to HOD

DOI10.1017/JSL.2017.90MaRDI QIDQ4579802zbMATH OpenOpenAlexFDO

Authors Carmi Merimovich, Moti Gitik

Publication date 10 August 2018

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

large cardinalHODextender based forcingEaston iteration

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Recommendations

• Homogeneous changes in cofinalities with applications to HOD
• More on HOD-supercompactness
• The Hypothesis and a supercompact cardinal
• Collapsing the cardinals of HOD
• Ordinal definable subsets of singular cardinals

Cites work

• scientific article; zbMATH DE number 218609 (Why is no real title available?)
• Changing cofinality of cardinals
• Collapsing the cardinals of HOD
• Extender-based Radin forcing
• Homogeneous changes in cofinalities with applications to HOD
• Homogeneous iteration and measure one covering relative to HOD
• Ordinal definable subsets of singular cardinals
• Suitable extender models. I
• Supercompact extender based Magidor-Radin forcing
• Supercompact extender based Prikry forcing

Cited in

(10)

• On -Strongly Measurable Cardinals
• The ground axiom is consistent with V $\neq $ HOD
• More on HOD-supercompactness
• On the powersets of singular cardinals in HOD
• Ordinal definable subsets of singular cardinals
• Homogeneous changes in cofinalities with applications to HOD
• Some applications of Supercompact Extender Based Forcings to HOD
• Large cardinals need not be large in HOD
• Collapsing the cardinals of HOD
• Supercompact extender based Magidor-Radin forcing

This page was built for publication: Some applications of supercompact extender based forcings to HOD

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