English

The complexity of non-stationary ideals

Logic 2024-04-18 v2

Abstract

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 Π1\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.

Keywords

Cite

@article{arxiv.2404.03315,
  title  = {The complexity of non-stationary ideals},
  author = {Philipp Lücke},
  journal= {arXiv preprint arXiv:2404.03315},
  year   = {2024}
}

Comments

Survey paper. Revised version. 26 pages