@misc{indiciae88ed7379a4ec,
  title = {Interpreting set theory in higher order arithmetic},
  author = {Colin McLarty},
  year = {2013},
  url = {https://arxiv.org/abs/1207.6357},
  note = {Source identifier: 1207.6357}
}