The least weakly compact cardinal can be unfoldable, weakly measurable and nearly -supercompact

DOI10.1007/S00153-015-0423-1MaRDI QIDQ494636zbMATH OpenOpenAlexFDO

Authors Joel David Hamkins, Brent Cody, Moti Gitik, Jason Aaron Schanker

Publication date 1 September 2015

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

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

zbMATH Keywords

weakly compactindentity crisisnearly supercompactunfoldableweakly measureable

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Abstract: We prove from suitable large cardinal hypotheses that the least weakly compact cardinal can be unfoldable, weakly measurable and even nearly $heta$-supercompact, for any desired $heta$. In addition, we prove several global results showing how the entire class of weakly compact cardinals, a proper class, can be made to coincide with the class of unfoldable cardinals, with the class of weakly measurable cardinals or with the class of nearly $het{a}_{k}appa$-supercompact cardinals $kappa$, for nearly any desired function $kappamapstohet{a}_{k}appa$. These results answer several questions that had been open in the literature and extend to these large cardinals the identity-crises phenomenon, first identified by Magidor with the strongly compact cardinals.

Recommendations

• The least measurable can be strongly compact and indestructible
• Strongly unfoldable cardinals made indestructible
• On the indestructibility aspects of identity crisis
• Weakly measurable cardinals
• The least strongly compact can be the least strong and indestructible

Cites work

• Chains of end elementary extensions of models of set theory
• Diamond (on the regulars) can fail at any strongly unfoldable cardinal
• How large is the first strongly compact cardinal? or a study on identity crises
• Indestructible strong unfoldability
• Partial near supercompactness
• Ramsey-like cardinals. II.
• Saturated ideals
• Strongly unfoldable cardinals made indestructible
• The ground axiom
• The lottery preparation
• Unfoldable cardinals and the GCH
• Weakly measurable cardinals
• What is the theory ZFC without power set?

Cited in

(10)

• Characterizations of the weakly compact ideal on \(P_\kappa\lambda\)
• Strong unfoldability, shrewdness and combinatorial consequences
• The least measurable can be strongly compact and indestructible
• Square compactness and the filter extension property
• On unfoldable cardinals, -closed cardinals, and the beginning of the inner model hierarchy
• Extensions with the approximation and cover properties have no new large cardinals
• Small embedding characterizations for large cardinals
• Subcompact cardinals, type omission, and ladder systems
• Resurrection axioms and uplifting cardinals
• Large cardinals need not be large in HOD

This page was built for publication: The least weakly compact cardinal can be unfoldable, weakly measurable and nearly \(\theta\)-supercompact

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q494636)