Easton functions and supercompactness

• Autorzy: Brent Cody , Sy-David Friedman , Radek Honzik
• Języki publikacji: EN

Abstrakty

EN

Suppose that κ is λ-supercompact witnessed by an elementary embedding j: V → M with critical point κ, and further suppose that F is a function from the class of regular cardinals to the class of cardinals satisfying the requirements of Easton's theorem: (1) ∀α α < cf(F(α)), and (2) α < β ⇒ F(α) ≤ F(β). We address the question: assuming GCH, what additional assumptions are necessary on j and F if one wants to be able to force the continuum function to agree with F globally, while preserving the λ-supercompactness of κ ?
We show that, assuming GCH, if F is any function as above, and in addition for some regular cardinal λ > κ there is an elementary embedding j: V → M with critical point κ such that κ is closed under F, the model M is closed under λ-sequences, H(F(λ)) ⊆ M, and for each regular cardinal γ ≤ λ one has $(|j(F)(γ)| = F(γ))^{V}$, then there is a cardinal-preserving forcing extension in which $2^{δ} = F(δ)$ for every regular cardinal δ and κ remains λ-supercompact. This answers a question of [CM14].

Kategorie tematyczne

• 03E55: Large cardinals
• 03E35: Consistency and independence results

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2014
• Tom: 226
• Numer: 3
• Strony: 279-296

Daty

wydano

2014

Twórcy

autor

Brent Cody

• Department of Mathematics, and Applied Mathematics, Virginia Commonwealth University, 1015 Floyd Avenue, Richmond, VA 23284, U.S.A.

autor

Sy-David Friedman

• Kurt Gödel Research Center, for Mathematical Logic, University of Vienna, Währinger Straße 25, 1090 Wien, Austria

autor

Radek Honzik

• Kurt Gödel Research Center, for Mathematical Logic, University of Vienna, Währinger Straße 25, 1090 Wien, Austria
• Department of Logic, Charles University, Palachovo nám. 2, 116 38 Praha 1, Czech Republic

Identyfikatory

DOI

10.4064/fm226-3-6