@misc{indiciae9f76ef8258dd,
  title = {Théories géométriques pour l'algèbre des nombres réels sans test de signe ni axiome de choix dépendant},
  author = {Henri Lombardi and Assia Mahboubi},
  year = {2024},
  url = {https://arxiv.org/abs/2406.15218},
  note = {Source identifier: 2406.15218}
}