Δ₁-Definability of the non-stationary ideal at successor cardinals
Sy-David Friedman; Liuzhen Wu; Lyubomyr Zdomskyy
Fundamenta Mathematicae (2015)
- Volume: 229, Issue: 3, page 231-254
- ISSN: 0016-2736
Access Full Article
top
Abstract
topHow to cite
topSy-David Friedman, Liuzhen Wu, and Lyubomyr Zdomskyy. "Δ₁-Definability of the non-stationary ideal at successor cardinals." Fundamenta Mathematicae 229.3 (2015): 231-254. <http://eudml.org/doc/282833>.
@article{Sy2015,
abstract = {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(κ⁺).},
author = {Sy-David Friedman, Liuzhen Wu, Lyubomyr Zdomskyy},
journal = {Fundamenta Mathematicae},
keywords = {definability; stationarity preservation; mixed support iteration; coding; localization; generalized descriptive set theory},
language = {eng},
number = {3},
pages = {231-254},
title = {Δ₁-Definability of the non-stationary ideal at successor cardinals},
url = {http://eudml.org/doc/282833},
volume = {229},
year = {2015},
}
TY - JOUR
AU - Sy-David Friedman
AU - Liuzhen Wu
AU - Lyubomyr Zdomskyy
TI - Δ₁-Definability of the non-stationary ideal at successor cardinals
JO - Fundamenta Mathematicae
PY - 2015
VL - 229
IS - 3
SP - 231
EP - 254
AB - 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(κ⁺).
LA - eng
KW - definability; stationarity preservation; mixed support iteration; coding; localization; generalized descriptive set theory
UR - http://eudml.org/doc/282833
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.