Delta(1)-Definability of the non-stationary ideal at successor cardinals

作者：Friedman Sy David^*; Wu Liuzhen; Zdomskyy Lyubomyr

来源：Fundamenta Mathematicae, 2015, 229(3): 231-254.

DOI：10.4064/fm229-3-2

• definability
• stationarity preservation
• mixed support iteration
• coding
• localization
• generalized descriptive set theory

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

• 出版日期2015