@misc{indiciae99cf38c1965a,
  title = {Refining the taming of the Reverse Mathematics zoo},
  author = {Sam Sanders},
  year = {2017},
  doi = {10.1215/00294527-2018-0015},
  url = {https://arxiv.org/abs/1602.02270},
  note = {Source identifier: 1602.02270}
}