Δ₁-Definability of the non-stationary ideal at successor cardinals
Assuming V = L, for every successor cardinal κ we construct a GCH and cardinal preserving forcing poset ℙ ∈ L such that in the ideal of all non-stationary subsets of κ is Δ₁-definable over H(κ⁺).