Axioms for the Real Numbers: A Constructive Approach
Abstract
We present axioms for the real numbers by omitting the field axioms and then derive the field properties of the real numbers. We prove all our theorems constructively.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2018
- DOI:
- 10.48550/arXiv.1808.00906
- arXiv:
- arXiv:1808.00906
- Bibcode:
- 2018arXiv180800906J
- Keywords:
-
- Mathematics - Logic