More on HOD-supercompactness

Annals of Pure and Applied Logic 172 (3):102901 (2021)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 91,252

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On HOD-supercompactness.Grigor Sargsyan - 2008 - Archive for Mathematical Logic 47 (7-8):765-768.
Supercompactness and Measurable Limits of Strong Cardinals.Arthur W. Apter - 2001 - Journal of Symbolic Logic 66 (2):629-639.
An L-like model containing very large cardinals.Arthur W. Apter & James Cummings - 2008 - Archive for Mathematical Logic 47 (1):65-78.
Tallness and level by level equivalence and inequivalence.Arthur W. Apter - 2010 - Mathematical Logic Quarterly 56 (1):4-12.
On measurable limits of compact cardinals.Arthur W. Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
On Measurable Limits of Compact Cardinals.Arthur Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
An Easton theorem for level by level equivalence.Arthur W. Apter - 2005 - Mathematical Logic Quarterly 51 (3):247-253.


Added to PP

17 (#824,750)

6 months
8 (#303,628)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Suitable extender models I.W. Hugh Woodin - 2010 - Journal of Mathematical Logic 10 (1):101-339.
Gap forcing: Generalizing the lévy-Solovay theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.

View all 11 references / Add more references