TY  - RPRT
TI  - Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
AU  - Stefan Hoffelner
PY  - 2026
DO  - 10.1016/j.apal.2023.103292
UR  - https://arxiv.org/abs/2009.02209
ID  - 2009.02209
ER  -