The large cardinals between supercompact and almost-huge

DOI10.1007/S00153-014-0410-YzbMATH Open1371.03071arXiv1307.7387OpenAlexW1975895431MaRDI QIDQ2339955FDOQ2339955

Authors: Norman Lewis Perlmutter 

Publication date: 14 April 2015

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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 $j:VoM$ such that $M$ is closed under sequences of length $supsetj(f)(kappa)stf:kappaokappa$. 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}

Full work available at URL: https://arxiv.org/abs/1307.7387

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

zbMATH Keywords

[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Vop%EF%BF%BD%EF%BF%BDnka+cardinals&go=Go Vop��nka cardinals]Laver functionsforcing and large cardinalshigh-jump cardinalshypercompact cardinalsWoodin-for-supercompactness cardinals

Mathematics Subject Classification ID

Large cardinals (03E55)

Cites Work

• Set Theory
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Iterated forcing and elementary embeddings
• Canonical seeds and Prikry trees
• Tall cardinals
• Many-times huge and superhuge cardinals
• \(C ^{(n)}\)-cardinals
• Strong axioms of infinity and elementary embeddings
• Extensions with the approximation and cover properties have no new large cardinals
• Destruction or preservation as you like it
• Superdestructibility: A dual to Laver's indestructibility
• Superstrong and other large cardinals are never Laver indestructible
• Combined Maximality Principles up to large cardinals
• Witnessing numbers of Shelah Cardinals
• On extensions of supercompactness
• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• A Reduction in Consistency Strength for Universal Indestructibility
• Title not available (Why is that?)
• An equiconsistency for universal indestructibility
• Reducing the consistency strength of an indestructibility theorem
• Some applications of Sargsyan's equiconsistency method

Cited In (12)

• Patterns of structural reflection in the large-cardinal hierarchy
• \(C ^{(n)}\)-cardinals
• 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
• The variety of projections of a tree Prikry forcing
• Title not available (Why is that?)
• 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)