Some applications of supercompact extender based forcings to HOD

DOI10.1017/JSL.2017.90OpenAlexW2963999578MaRDI QIDQ4579802FDOQ4579802

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

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

zbMATH Keywords

large cardinalHODextender based forcingEaston iteration

Mathematics Subject Classification ID

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

Cites Work

• Extender-based Radin forcing
• Homogeneous iteration and measure one covering relative to HOD
• Title not available (Why is that?)
• SUITABLE EXTENDER MODELS I
• Changing cofinality of cardinals
• Collapsing the cardinals of HOD
• Supercompact extender based Prikry forcing
• Supercompact extender based Magidor-Radin forcing
• Ordinal definable subsets of singular cardinals
• Homogeneous changes in cofinalities with applications to HOD

Cited In (7)

• The ground axiom is consistent with V $\neq $ HOD
• 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
• On -Strongly Measurable Cardinals
• 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)