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