@misc{indiciae24c68df01d99,
  title = {\$\textbackslash{}text\{NS\}\_\{ω\_1\}\$ saturated, \$Δ\_1 ( \textbackslash{}\{ ω\_1 \textbackslash{}\} )\$-definable and a \$Δ\textasciicircum{}1\_4\$-definable well-order of the reals},
  author = {Stefan Hoffelner},
  year = {2025},
  url = {https://arxiv.org/abs/2507.01183},
  note = {Source identifier: 2507.01183}
}