Some applications of Supercompact Extender Based Forcings to HOD

DOI10.1017/JSL.2017.90MaRDI QIDQ6276103arXivFDO

Authors Moti Gitik, Carmi Merimovich

Publication date 1 August 2016

Published in arXiv

Full work available at URL https://doi.org/10.1017/JSL.2017.90

Mathematics Subject Classification ID

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

arXiv classification

math.LO

Abstract: Supercompact extender based forcings are used to construct models with HOD cardinal structure different from those of V. In particular, a model with all regular uncountable cardinals measurable in HOD is constructed.

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 Q6276103)