@misc{indiciae23b5528c5a11,
  title = {Defining Real Numbers as Oracles},
  author = {James Taylor},
  year = {2023},
  url = {https://arxiv.org/abs/2305.04935},
  note = {Source identifier: 2305.04935}
}