TY  - RPRT
TI  - The set-theoretic universe $V$ is not necessarily a class-forcing extension of HOD
AU  - Joel David Hamkins
AU  - Jonas Reitz
PY  - 2017
UR  - https://arxiv.org/abs/1709.06062
ID  - 1709.06062
ER  -