SOME APPLICATIONS OF SUPERCOMPACT EXTENDER BASED FORCINGS TO HOD

DOI10.1017/jsl.2017.90OpenAlexW2963999578MaRDI QIDQ4579802

Carmi Merimovich, M. B. Gitik

Publication date: 10 August 2018

Published in: The 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)

Related Items (5)

On -Strongly Measurable Cardinals ⋮ Ordinal definable subsets of singular cardinals ⋮ Homogeneous changes in cofinalities with applications to HOD ⋮ Supercompact extender based Magidor-Radin forcing ⋮ On the powersets of singular cardinals in HOD

Cites Work

• Unnamed Item
• Supercompact extender based Magidor-Radin forcing
• Supercompact extender based Prikry forcing
• Homogeneous iteration and measure one covering relative to HOD
• Ordinal definable subsets of singular cardinals
• SUITABLE EXTENDER MODELS I
• Changing cofinality of cardinals
• Homogeneous changes in cofinalities with applications to HOD
• Extender-based Radin forcing
• Collapsing the cardinals of HOD

This page was built for publication: SOME APPLICATIONS OF SUPERCOMPACT EXTENDER BASED FORCINGS TO HOD