Some Applications of Supercompact Extender based Forcings to HOD

Moti Gitik, Carmi Merimovich. Some Applications of Supercompact Extender based Forcings to HOD. Journal of Symbolic Logic, 83(2):461-476, 2018. [doi]

Abstract

Abstract is missing.