@misc{indiciae20f4bcd3253a,
  title = {PFA and the definability of the nonstationary ideal},
  author = {Stefan Hoffelner and Paul Larson and Ralf Schindler and Liuzhen Wu},
  year = {2023},
  doi = {10.1017/jsl.2025.31},
  url = {https://arxiv.org/abs/2310.13784},
  note = {Source identifier: 2310.13784}
}