The HOD Dichotomy
Logic
2016-05-03 v1
Abstract
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 terms of weak extender models for supercompactness, and give some of its consequences.
Cite
@article{arxiv.1605.00613,
title = {The HOD Dichotomy},
author = {Hugh Woodin and Jacob Davis and Daniel Rodriguez},
journal= {arXiv preprint arXiv:1605.00613},
year = {2016}
}