@misc{indiciaeea5e5475c863,
  title = {Some computability-theoretic reductions between principles around \$\textbackslash{}mathsf\{ATR\}\_0\$},
  author = {Jun Le Goh},
  year = {2019},
  url = {https://arxiv.org/abs/1905.06868},
  note = {Source identifier: 1905.06868}
}