Homogeneous changes in cofinalities with applications to HOD

DOI10.1142/S0219061317500076MaRDI QIDQ4596663zbMATH OpenOpenAlexFDO

Authors Omer Ben-Neria, Spencer Unger

Publication date 4 December 2017

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

Full work available at URL https://doi.org/10.1142/s0219061317500076

zbMATH Keywords

homogeneitylarge cardinalsHODchanging cofinality

Mathematics Subject Classification ID

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

Recommendations

• Some applications of supercompact extender based forcings to HOD
• Ordinal definable subsets of singular cardinals
• The Hypothesis and a supercompact cardinal
• Large cardinals need not be large in HOD
• Homogeneous iteration and measure one covering relative to HOD

Cites work

• scientific article; zbMATH DE number 3781158 (Why is no real title available?)
• scientific article; zbMATH DE number 3336797 (Why is no real title available?)
• Changing cofinalities and the nonstationary ideal
• Changing cofinality of cardinals
• Collapsing the cardinals of HOD
• Forcing closed unbounded sets
• Homogeneous iteration and measure one covering relative to HOD
• On closed unbounded sets consisting of former regulars
• Prikry-type forcings
• Some applications of supercompact extender based forcings to HOD
• Suitable extender models. I
• Supercompact extender based Magidor-Radin forcing

Cited in

(8)

• On -Strongly Measurable Cardinals
• A Mathias criterion for the Magidor iteration of Prikry forcings
• On the powersets of singular cardinals in HOD
• Ordinal definable subsets of singular cardinals
• Some applications of supercompact extender based forcings to HOD
• ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS
• Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model
• Homogeneous iteration and measure one covering relative to HOD

This page was built for publication: Homogeneous changes in cofinalities with applications to HOD

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