TY  - RPRT
TI  - A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
AU  - Stefan Hoffelner
PY  - 2025
UR  - https://arxiv.org/abs/2506.21778
ID  - 2506.21778
ER  -