The complexity of non-stationary ideals

We present an overview of results on the question of whether the non-stationary ideal of an uncountable regular cardinal $\kappa$ can be defined by a ${\mathrm{\Pi }}_1$-formula using parameters of hereditary cardinality at most $\kappa$. These results show that this question is deeply connected to several central topics of current research in set theory.