1 paper
Hugh Woodin, Jacob Davis, Daniel Rodriguez
This paper provides an accessible introduction to some of the work of Woodin on suitable extender models. We define the HOD conjecture, prove it is equivalent to a formulation in t…