Δ₁-Definability of the non-stationary ideal at successor cardinals

• Autorzy: Sy-David Friedman , Liuzhen Wu , Lyubomyr Zdomskyy
• Języki publikacji: EN

Abstrakty

EN

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(κ⁺).

Kategorie tematyczne

• 03E20: Other classical set theory (including functions, relations, and set algebra)
• 03E45: Inner models, including constructibility, ordinal definability, and core models
• 03E35: Consistency and independence results

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2015
• Tom: 229
• Numer: 3
• Strony: 231-254

Daty

wydano

2015

Twórcy

autor

Sy-David Friedman

• Kurt Gödel Research Center for Mathematical Logic, University of Vienna, Währinger Straße 25, A-1090 Wien, Austria

autor

Liuzhen Wu

• Kurt Gödel Research Center for Mathematical Logic, University of Vienna, Währinger Straße 25, A-1090 Wien, Austria

autor

Lyubomyr Zdomskyy

• Kurt Gödel Research Center for Mathematical Logic, University of Vienna, Währinger Straße 25, A-1090 Wien, Austria

Identyfikatory

DOI

10.4064/fm229-3-2