JEDNOSTKA NAUKOWA KATEGORII A+

$\Delta _1$-Definability of the non-stationary ideal at successor cardinals

Tom 229 / 2015

Sy-David Friedman, Liuzhen Wu, Lyubomyr Zdomskyy Fundamenta Mathematicae 229 (2015), 231-254 MSC: Primary 03E35, 03E20; Secondary 03E45. DOI: 10.4064/fm229-3-2

Streszczenie

Assuming $V=L$, for every successor cardinal $\kappa $ we construct a GCH and cardinal preserving forcing poset $\mathbb {P}\in L$ such that in $L^{\mathbb {P}}$ the ideal of all non-stationary subsets of $\kappa $ is $\Delta _1$-definable over $H(\kappa ^{+})$.

Autorzy

  • Sy-David FriedmanKurt Gödel Research Center for Mathematical Logic
    University of Vienna
    Währinger Straße 25
    A-1090 Wien, Austria
    e-mail
  • Liuzhen WuKurt Gödel Research Center for Mathematical Logic
    University of Vienna
    Währinger Straße 25
    A-1090 Wien, Austria
    e-mail
  • Lyubomyr ZdomskyyKurt Gödel Research Center for Mathematical Logic
    University of Vienna
    Währinger Straße 25
    A-1090 Wien, Austria
    e-mail

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek