TY  - RPRT
TI  - Some computability-theoretic reductions between principles around $\mathsf{ATR}_0$
AU  - Jun Le Goh
PY  - 2019
UR  - https://arxiv.org/abs/1905.06868
ID  - 1905.06868
ER  -