TY  - RPRT
TI  - Axioms for the Real Numbers: A Constructive Approach
AU  - Jean S. Joseph
PY  - 2021
UR  - https://arxiv.org/abs/1808.00906
ID  - 1808.00906
ER  -