Processing math: 0%

Wykorzystujemy pliki cookies aby ułatwić Ci korzystanie ze strony oraz w celach analityczno-statystycznych.

A+ CATEGORY SCIENTIFIC UNIT

-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