The large cardinals between supercompact and almost-huge
From MaRDI portal
(Redirected from Publication:2339955)
Abstract: I analyze the hierarchy of large cardinals between a supercompact cardinal and an almost-huge cardinal. Many of these cardinals are defined by modifying the definition of a high-jump cardinal. A high-jump cardinal is defined as the critical point of an elementary embedding such that is closed under sequences of length . Some of the other cardinals analyzed include the super-high-jump cardinals, almost-high-jump cardinals, Shelah-for-supercompactness cardinals, Woodin-for-supercompactness cardinals, Vopenka cardinals, hypercompact cardinals, and enhanced supercompact cardinals. I organize these cardinals in terms of consistency strength and implicational strength. I also analyze the superstrong cardinals, which are weaker than supercompact cardinals but are related to high-jump cardinals. Two of my most important results are as follows. �egin{itemize} item Vopenka cardinals are the same as Woodin-for-supercompactness cardinals. item There are no excessively hypercompact cardinals. end{itemize} Furthermore, I prove some results relating high-jump cardinals to forcing, as well as analyzing Laver functions for super-high-jump cardinals. keywords{high-jump cardinals and Vopenka cardinals and Woodin-for-supercompactness cardinals and hypercompact cardinals and forcing and large cardinals and Laver functions}
Recommendations
- Large cardinals and large dilators
- Many-times huge and superhuge cardinals
- scientific article; zbMATH DE number 1943969
- Large cardinals with few measures
- Larger Cardinals in Cichon's Diagram
- LARGE CARDINALS BEYOND CHOICE
- Ultrahuge cardinals
- scientific article; zbMATH DE number 3995665
- Implications of very large cardinals
- scientific article; zbMATH DE number 690926
Cites work
- scientific article; zbMATH DE number 1442091 (Why is no real title available?)
- A Reduction in Consistency Strength for Universal Indestructibility
- An equiconsistency for universal indestructibility
- Canonical seeds and Prikry trees
- Combined Maximality Principles up to large cardinals
- Destruction or preservation as you like it
- Extensions with the approximation and cover properties have no new large cardinals
- Iterated forcing and elementary embeddings
- Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- Many-times huge and superhuge cardinals
- On extensions of supercompactness
- Reducing the consistency strength of an indestructibility theorem
- Set Theory
- Some applications of Sargsyan's equiconsistency method
- Strong axioms of infinity and elementary embeddings
- Superdestructibility: A dual to Laver's indestructibility
- Superstrong and other large cardinals are never Laver indestructible
- Tall cardinals
- Witnessing numbers of Shelah Cardinals
- \(C ^{(n)}\)-cardinals
Cited in
(12)- \(C ^{(n)}\)-cardinals
- Patterns of structural reflection in the large-cardinal hierarchy
- Woodin for strong compactness cardinals
- Weak saturation properties and side conditions
- Global Chang's conjecture and singular cardinals
- Weak indestructibility and reflection
- The consistency strength of the perfect set property for universally Baire sets of reals
- scientific article; zbMATH DE number 1943969 (Why is no real title available?)
- The variety of projections of a tree Prikry forcing
- Laver sequences for extendible and super-almost-huge cardinals
- Model theoretic characterizations of large cardinals revisited
- On extensions of supercompactness
This page was built for publication: The large cardinals between supercompact and almost-huge
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2339955)
