jdh.hamkins.org
The set-theoretic universe is not necessarily a class-forcing extension of HOD
[bibtex key=”HamkinsReitz:The-set-theoretic-universe-is-not-necessarily-a-forcing-extension-of-HOD”]