The set-theoretic universe is not necessarily a class-forcing extension of HOD Posted on September 18, 2017 by Joel David Hamkins