Advanced Search

Match of the following rules

Add Sub-clause

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

The search session has expired. Please query the service again.

Currently displaying 1 – 1 of 1

Order by Relevance | Title | Year of publication

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

Sy-David Friedman; Liuzhen Wu; Lyubomyr Zdomskyy — 2015

Fundamenta Mathematicae

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

Page 1

Download Results (CSV)