@misc{indiciae040f36761536,
  title = {Transfinite Recursion in Higher Reverse Mathematics},
  author = {Noah Schweber},
  year = {2013},
  url = {https://arxiv.org/abs/1310.5792},
  note = {Source identifier: 1310.5792}
}