We present an overview of results on the question of whether the non-stationary ideal of an uncountable regular cardinal κ can be defined by a Π₁-formula using parameters of hereditary cardinality at most κ. These results show that this question is deeply connected to several central topics of current research in set theory.
No takes yet. Share an insight, caveat, or question.
Philipp Lücke (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: