SOME APPLICATIONS OF SUPERCOMPACT EXTENDER BASED FORCINGS TO HOD
Moti Gitik, Carmi Merimovich · Journal of Symbolic Logic · 2018
Abstract Supercompact extender based forcings are used to construct models with HOD cardinal structure different from those of V. In particular, a model where all regular uncountable cardinals are measurable in HOD is constructed.