$V$ need not be a forcing extension of $\mathrm{HOD}$ or of the mantle

Set theory seminarFriday, November 11, 201610:00 amGC 6417

Jonas Reitz

$V$ need not be a forcing extension of $\mathrm{HOD}$ or of the mantle

CUNY New York City College of Technology

In 1972 Vopenka showed that $V$ is a union of set-generic extensions of $\mathrm{HOD}$ by establishing that every set in $V\setminus\mathrm{HOD}$ is set generic over $\mathrm{HOD}$. It is natural to consider whether that union can be replaced by a single forcing, possibly a proper class, over $\mathrm{HOD}$. In 2012 Friedman showed that $V$ is a class forcing extension of $\mathrm{HOD}$ by a partial order definable in $V$ – however, this leaves open the question of whether such a partial order can be defined in $\mathrm{HOD}$ itself. In this talk I will show that the qualifier ‘in $V$’ is necessary in Friedman’s theorem, by producing a model which is not class generic over $\mathrm{HOD}$ for any forcing definable in $\mathrm{HOD}$.

In the area of set theory known as set-theoretic geology, the mantle $M$ (the intersection of all grounds) is an inner model that enjoys a relationship to $V$ similar to that of $\mathrm{HOD}$, but ‘in the opposite direction’ – every set not in $M$ is omitted by a ground of $V$. Does it follow that we can build $V$ up over $M$ by iteratively adding those sets back in via forcing? In particular, does it follow that $V$ is a class forcing extension of $M$? The example produced in this talk will show that the answer is no – there is a model of set theory $V$ which is not a class forcing extension of $M$ by any forcing definable in $M$.

Jonas Reitz is an associate professor of mathematics at the CUNY New York City College of Technology. He received his PhD in 2006 under the supervision of Joel David Hamkins.  His research interests include forcing, the set-theoretic multiverse, and set-theoretic geology.

Posted by on October 26th, 2016