Patterns of compact cardinals
From MaRDI portal
Abstract: We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model of ``ZFC + Omega is the least inaccessible limit of measurable limits of supercompact cardinals + f :Omega-->2 is a function, then there is a partial ordering P in V so that for Vbar = V^P, Vbar_Omega models ``ZFC + There is a proper class of compact cardinals + If f(alpha) = 0, then the alpha-th compact cardinal isn't supercompact + If f(alpha) = 1, then the alpha-th compact cardinal is supercompact. We then prove a generalized version of this theorem assuming kappa is a supercompact limit of supercompact cardinals and f:kappa-->2 is a function, and we derive as corollaries of the generalized version of the theorem the consistency of the least measurable limit of supercompact cardinals being the same as the least measurable limit of non-supercompact strongly compact cardinals and the consistency of the least supercompact cardinal being a limit of strongly compact cardinals.
Recommendations
- scientific article; zbMATH DE number 638640
- On cardinalities and compact closures
- Compact cardinals and Abelian groups
- Cardinal invariants in compact Hausdorff spaces
- The strength of choiceless patterns of singular and weakly compact cardinals
- Asymptotic structures of cardinals
- Some results concerning strongly compact cardinals
- Compact spaces, compact cardinals, and elementary submodels
- Patterns in thick compact sets
- Compactness in singular cardinals revisited
Cites work
- scientific article; zbMATH DE number 3591984 (Why is no real title available?)
- scientific article; zbMATH DE number 702561 (Why is no real title available?)
- How large is the first strongly compact cardinal? or a study on identity crises
- Laver indestructibility and the class of compact cardinals
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- Measurable cardinals and the continuum hypothesis
- Menas’ Result is Best Possible
- More on the Least Strongly Compact Cardinal
- On strong compactness and supercompactness
- On the First n Strongly Compact Cardinals
- On the compactness of ℵ1 and ℵ2
- On the least strongly compact cardinal
- On the role of supercompact and extendible cardinals in logic
- On the strong equality between supercompactness and strong compactness
- Strong axioms of infinity and elementary embeddings
- The least measurable can be strongly compact and indestructible
Cited in
(11)- On measurable limits of compact cardinals
- The least measurable can be strongly compact and indestructible
- The lottery preparation
- Forcing the Least Measurable to Violate GCH
- Failures of SCH and level by level equivalence
- Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness
- A note on tall cardinals and level by level equivalence
- A Cardinal Pattern Inspired by AD
- Strongly compact cardinals and the continuum function
- Identity crises and strong compactness
- Some structural results concerning supercompact cardinals
This page was built for publication: Patterns of compact cardinals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1377623)
