On supercompactness and the continuum function

DOI10.1016/J.APAL.2013.09.001MaRDI QIDQ386634zbMATH OpenOpenAlexFDO

Authors Menachem Magidor, Brent Cody

Publication date 10 December 2013

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

forcingcontinuum functionlarge cardinalsupercompact cardinal

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50)

Abstract: Given a cardinal $kappa$ that is $lambda$-supercompact for some regular cardinal $lambdageqkappa$ and assuming $GCH$, we show that one can force the continuum function to agree with any function $F:[kappa,lambda]capREGoCARD$ satisfying $$ $alpha<cf(F(alpha))$ and $$ $implies$ $$, while preserving the $lambda$-supercompactness of $kappa$ from a hypothesis that is of the weakest possible consistency strength, namely, from the hypothesis that there is an elementary embedding $j:VoM$ with critical point $kappa$ such that $M^{l}ambdasubseteqM$ and $j(kappa)>F(lambda)$. Our argument extends Woodin's technique of surgically modifying a generic filter to a new case: Woodin's key lemma applies when modifications are done on the range of $j$, whereas our argument uses a new key lemma to handle modifications done off of the range of $j$ on the ghost coordinates. This work answers a question of Friedman and Honzik [FH2012]. We also discuss several related open questions.

Recommendations

• Easton functions and supercompactness
• Supercompactness and failures of GCH
• Strongly compact cardinals and the continuum function
• On a problem of Woodin
• Consecutive singular cardinals and the continuum function

Cites work

• Certain very large cardinals are not created in small forcing extensions
• Consistency Results Concerning Supercompactness
• Easton's theorem and large cardinals
• Iterated forcing and elementary embeddings
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Powers of regular cardinals
• Supercompactness and failures of GCH
• Tall cardinals
• The failure of GCH at a degree of supercompactness
• The lottery preparation

Cited in

(11)

• On almost z-supercontinuity
• Dimension and superposition of bounded continuous functions on locally compact, separable metric spaces
• Easton functions and supercompactness
• Superinfinitesimals in Topology and Functional Analysis
• Consecutive singular cardinals and the continuum function
• Easton's theorem for the tree property below \(\aleph_\omega\)
• Easton's theorem in the presence of Woodin cardinals
• Every superinterval of the function range can be an interval-computations enclosure
• On certain generalization of supercontinuity/\(\delta\)-continuity
• Supercompactness and failures of GCH
• Strongly compact cardinals and the continuum function

This page was built for publication: On supercompactness and the continuum function

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