@misc{indiciaeba7eb8a99318,
  title = {Axioms for the Real Numbers: A Constructive Approach},
  author = {Jean S. Joseph},
  year = {2021},
  url = {https://arxiv.org/abs/1808.00906},
  note = {Source identifier: 1808.00906}
}