Some computability-theoretic reductions between principles around ${\mathsf{ATR}}_0$

Jun Le Goh

We study the computational content of various theorems with reverse mathematical strength around Arithmetical Transfinite Recursion (${\mathsf{ATR}}_0$) from the point of view of com…