@misc{indiciae2a23ca231799,
  title = {The effective content of Reverse Nonstandard Mathematics and the nonstandard content of effective Reverse Mathematics},
  author = {Sam Sanders},
  year = {2015},
  url = {https://arxiv.org/abs/1511.04679},
  note = {Source identifier: 1511.04679}
}