3 papers
math.LO2016
Universal Graphs at and Set-theoretic Geology
Jacob Davis
This thesis consists of two parts: the construction of a jointly universal family of graphs, and then an exploration of set-theoretic geology. Firstly we shall construct a model in…
math.LO2016
The HOD Dichotomy
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…
math.LO2016
Universal graphs at
Jacob Davis
Starting from a supercompact cardinal we build a model in which but there is a jointly universal family of size $\aleph_{ω_1+2}…