TY - RPRT TI - Some applications of Supercompact Extender Based Forcings to HOD AU - Moti Gitik AU - Carmi Merimovich PY - 2016 UR - https://arxiv.org/abs/1608.00356 ID - 1608.00356 ER -