@misc{indiciae0f23cffbd196,
  title = {Banach's theorem in higher order reverse mathematics},
  author = {Jeffry L. Hirst and Carl Mummert},
  year = {2023},
  doi = {10.3233/com-230453},
  url = {https://arxiv.org/abs/2303.05355},
  note = {Source identifier: 2303.05355}
}