Abstract

We explore Woodin's Universality Theorem and consider to what extent large cardinal properties are transferred into HOD (and other inner models). We also separate the concepts of supercompactness, supercompactness in HOD and being HOD-supercompact. For example, we produce a model where a proper class of supercompact cardinals are not HOD-supercompact but are supercompact in HOD. Additionally we introduce a way to measure the degree of HOD-supercompactness of a supercompact cardinal, and we develop methods to control these degrees simultaneously for a proper class of supercompact cardinals. Finally, we also produce a model in which the unique supercompact cardinal is also the only strongly compact cardinal, no cardinal is supercompact up to an inaccessible cardinal, level by level inequivalence holds and the unique supercompact cardinal is not HOD-supercompact.