PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2015 | 229 | 3 | 231-254
Tytuł artykułu

Δ₁-Definability of the non-stationary ideal at successor cardinals

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
Assuming V = L, for every successor cardinal κ we construct a GCH and cardinal preserving forcing poset ℙ ∈ L such that in $L^{ℙ}$ the ideal of all non-stationary subsets of κ is Δ₁-definable over H(κ⁺).
Słowa kluczowe
Twórcy
  • Kurt Gödel Research Center for Mathematical Logic, University of Vienna, Währinger Straße 25, A-1090 Wien, Austria
autor
  • Kurt Gödel Research Center for Mathematical Logic, University of Vienna, Währinger Straße 25, A-1090 Wien, Austria
  • Kurt Gödel Research Center for Mathematical Logic, University of Vienna, Währinger Straße 25, A-1090 Wien, Austria
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm229-3-2
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ć.