@misc{indiciaeddbd1fd779da,
  title = {NS saturated and \$Δ\_1\$-definable},
  author = {Stefan Hoffelner},
  year = {2021},
  doi = {10.1017/jsl.2021.23},
  url = {https://arxiv.org/abs/1701.07230},
  note = {Source identifier: 1701.07230}
}