TY  - RPRT
TI  - Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
AU  - Stefan Hoffelner
AU  - Paul Larson
AU  - Ralf Schindler
AU  - Liuzhen Wu
PY  - 2022
DO  - 10.1017/jsl.2023.40
UR  - https://arxiv.org/abs/2208.05288
ID  - 2208.05288
ER  -