Some applications of Supercompact Extender Based Forcings to HOD
arXiv:1608.00356
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.