TY  - RPRT
TI  - Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property
AU  - Michael Winter
PY  - 2026
DO  - 10.46298/fi.12364
UR  - https://arxiv.org/abs/2310.01590
ID  - 2310.01590
ER  -