@misc{indiciaea5ba30ebf5ee,
  title = {Forcing Axioms and the Definabilty of the Nonstationary Ideal on \$ω\_1\$},
  author = {Stefan Hoffelner and Paul Larson and Ralf Schindler and Liuzhen Wu},
  year = {2022},
  doi = {10.1017/jsl.2023.40},
  url = {https://arxiv.org/abs/2208.05288},
  note = {Source identifier: 2208.05288}
}