Topic Archive: HOD-supercompact
Does the HOD dichotomy preclude a model of a proper class of supercompact cardinals which are not HOD-supercompact?
I will be presenting my version of the notes of Woodin’s talk at the Appalachian Set Theory seminar on his paper, the HOD Dichotomy. In particular I will be discussing Woodin’s version and definition of a model of set theory being “far from HOD”. I will also be discussing how this relates to some possible future results (see title) as well as a recent result of Cheng,Friedman and Hamkins, which seem on their face to contradict Woodin’s premise.
I will discuss a result of Sargsyan and his method of proof in order to show why a theorem from my dissertation was incorrect, and some of the interesting results we discovered in an effort to save the theorem.