A+ CATEGORY SCIENTIFIC UNIT

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

Volume 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

Abstract

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 ^{+})$.

Authors

  • 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

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image