TY  - RPRT
TI  - PFA and the definability of the nonstationary ideal
AU  - Stefan Hoffelner
AU  - Paul Larson
AU  - Ralf Schindler
AU  - Liuzhen Wu
PY  - 2023
DO  - 10.1017/jsl.2025.31
UR  - https://arxiv.org/abs/2310.13784
ID  - 2310.13784
ER  -