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. 
Moti Gitik, Carmi Merimovich
math.LO