@misc{indiciae46da750c2c4b,
  title = {An interpretation of the Sigma-2 fragment of classical Analysis in System T},
  author = {Danko Ilik},
  year = {2015},
  url = {https://arxiv.org/abs/1301.5089},
  note = {Source identifier: 1301.5089}
}