Some applications of Supercompact Extender Based Forcings to HOD
Logic
2016-08-02 v1
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.
Keywords
Cite
@article{arxiv.1608.00356,
title = {Some applications of Supercompact Extender Based Forcings to HOD},
author = {Moti Gitik and Carmi Merimovich},
journal= {arXiv preprint arXiv:1608.00356},
year = {2016}
}