PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2014 | 226 | 3 | 279-296
Tytuł artykułu

Easton functions and supercompactness

Treść / Zawartość
Warianty tytułu
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].
Słowa kluczowe
Rocznik
Tom
226
Numer
3
Strony
279-296
Opis fizyczny
Daty
wydano
2014
Twórcy
autor
  • Department of Mathematics, and Applied Mathematics, Virginia Commonwealth University, 1015 Floyd Avenue, Richmond, VA 23284, U.S.A.
  • Kurt Gödel Research Center, for Mathematical Logic, University of Vienna, Währinger Straße 25, 1090 Wien, Austria
autor
  • 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
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm226-3-6
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.