More on HOD-supercompactness

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

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.

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2020.102901

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

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

Through your library

My notes

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.
Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness.Arthur W. Apter - 2007 - Archive for Mathematical Logic 46 (3-4):155-163.
Arthur W. Apter. On the least strongly compact cardinal. Israel journal of mathematics, vol. 35 , pp. 225–233. - Arthur W. Apter. Measurability and degrees of strong compactness. The journal of symbolic logic, vol. 46 , pp. 249–254. - Arthur W. Apter. A note on strong compactness and supercompactness. Bulletin of the London Mathematical Society, vol. 23 , pp. 113–115. - Arthur W. Apter. On the first n strongly compact cardinals. Proceedings of the American Mathematical Society, vol. 123 , pp. 2229–2235. - Arthur W. Apter and Saharon Shelah. On the strong equality between supercompactness and strong compactness.. Transactions of the American Mathematical Society, vol. 349 , pp. 103–128. - Arthur W. Apter and Saharon Shelah. Menas' result is best possible. Ibid., pp. 2007–2034. - Arthur W. Apter. More on the least strongly compact cardinal. Mathematical logic quarterly, vol. 43 , pp. 427–430. - Arthur W. Apter. Laver indestructibility and the class of compact cardinals. The journal of sy. [REVIEW]James W. Cummings - 2000 - Bulletin of Symbolic Logic 6 (1):86-89.
An L-like model containing very large cardinals.Arthur W. Apter & James Cummings - 2008 - Archive for Mathematical Logic 47 (1):65-78.
A universal indestructibility theorem compatible with level by level equivalence.Arthur W. Apter - 2015 - Archive for Mathematical Logic 54 (3-4):463-470.
Failure of GCH and the level by level equivalence between strong compactness and supercompactness.Arthur W. Apter - 2003 - Mathematical Logic Quarterly 49 (6):587.
Universal indestructibility for degrees of supercompactness and strongly compact cardinals.Arthur W. Apter & Grigor Sargsyan - 2008 - Archive for Mathematical Logic 47 (2):133-142.
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.
Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence.Arthur W. Apter - 2006 - Mathematical Logic Quarterly 52 (5):457-463.
Indestructibility and level by level equivalence and inequivalence.Arthur W. Apter - 2007 - Mathematical Logic Quarterly 53 (1):78-85.
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.
Indestructibility and the level-by-level agreement between strong compactness and supercompactness.Arthur W. Apter & Joel David Hamkins - 2002 - Journal of Symbolic Logic 67 (2):820-840.

Analytics

Added to PP
2020-10-09

Downloads
18 (#836,359)

6 months
8 (#368,968)

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