@misc{indiciae39afaa55c66a,
  title = {What is effective transfinite recursion in reverse mathematics?},
  author = {Anton Freund},
  year = {2021},
  doi = {10.1002/malq.202000042},
  url = {https://arxiv.org/abs/2006.08953},
  note = {Source identifier: 2006.08953}
}