@misc{indiciae78a6715adb07,
  title = {On \$Σ\_1\$-Definable Closed Unbounded Sets},
  author = {Omer Ben-Neria and Philipp Lücke},
  year = {2024},
  url = {https://arxiv.org/abs/2303.08251},
  note = {Source identifier: 2303.08251}
}