The complexity of non-stationary ideals

2024/04/04 by Lücke, Philipp · 1 citation
#03E35 #03E45 #FOS: Mathematics #Logic (math.LO) #Primary: 03E47 #Secondary 03E05

paper · doi:10.48550/arxiv.2404.03315

Abstract

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.

Cited by

• NS_ω1 saturated, Δ₁ ( \ ω₁ \ )-definable and a Δ¹₄-definable well-order of the reals

Related

• Cardinal characteristics on κ modulo non-stationary
• Forcing axioms and the complexity of non-stationary ideals
• On Singular Stationarity I (mutual stationarity and ideal-based methods)
• Nowhere precipitousness of the non-stationary ideal over P_kappa(lambda)
• The nonstationary ideal on P_κ(lambda) for lambda singular