TY  - RPRT
TI  - $\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
AU  - Stefan Hoffelner
PY  - 2025
UR  - https://arxiv.org/abs/2507.01183
ID  - 2507.01183
ER  -