Geodesic
$\Delta _1$-Definability of the non-stationary ideal at successor cardinals
Sy-David Friedman1 ; Liuzhen Wu1 ; Lyubomyr Zdomskyy1
1 Kurt Gödel Research Center for Mathematical Logic University of Vienna Währinger Straße 25 A-1090 Wien, Austria
Fundamenta Mathematicae, Tome 229 (2015) no. 3, pp. 231-254

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

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 ^{+})$.
DOI : 10.4064/fm229-3-2
Keywords: assuming every successor cardinal kappa construct gch cardinal preserving forcing poset mathbb mathbb ideal non stationary subsets kappa delta definable kappa

Sy-David Friedman 1 ; Liuzhen Wu 1 ; Lyubomyr Zdomskyy 1

1 Kurt Gödel Research Center for Mathematical Logic University of Vienna Währinger Straße 25 A-1090 Wien, Austria 
@article{10_4064_fm229_3_2,
     author = {Sy-David Friedman and Liuzhen Wu and Lyubomyr Zdomskyy},
     title = {$\Delta _1${-Definability} of the non-stationary ideal at successor cardinals},
     journal = {Fundamenta Mathematicae},
     pages = {231--254},
     publisher = {mathdoc},
     volume = {229},
     number = {3},
     year = {2015},
     doi = {10.4064/fm229-3-2},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm229-3-2/}
}
TY  - JOUR
AU  - Sy-David Friedman
AU  - Liuzhen Wu
AU  - Lyubomyr Zdomskyy
TI  - $\Delta _1$-Definability of the non-stationary ideal at successor cardinals
JO  - Fundamenta Mathematicae
PY  - 2015
SP  - 231
EP  - 254
VL  - 229
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm229-3-2/
DO  - 10.4064/fm229-3-2
LA  - en
ID  - 10_4064_fm229_3_2
ER  - 
%0 Journal Article
%A Sy-David Friedman
%A Liuzhen Wu
%A Lyubomyr Zdomskyy
%T $\Delta _1$-Definability of the non-stationary ideal at successor cardinals
%J Fundamenta Mathematicae
%D 2015
%P 231-254
%V 229
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm229-3-2/
%R 10.4064/fm229-3-2
%G en
%F 10_4064_fm229_3_2
Sy-David Friedman; Liuzhen Wu; Lyubomyr Zdomskyy. $\Delta _1$-Definability of the non-stationary ideal at successor cardinals. Fundamenta Mathematicae, Tome 229 (2015) no. 3, pp. 231-254. doi: 10.4064/fm229-3-2

Cité par Sources :