@misc{indiciae8f9cc24d3941,
  title = {Cousin's lemma in second-order arithmetic},
  author = {Jordan Mitchell Barrett and Rodney G. Downey and Noam Greenberg},
  year = {2021},
  url = {https://arxiv.org/abs/2105.02975},
  note = {Source identifier: 2105.02975}
}