TY  - RPRT
TI  - A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation
AU  - Stefan Hoffelner
PY  - 2026
UR  - https://arxiv.org/abs/2312.02540
ID  - 2312.02540
ER  -