Axioms for the Real Numbers: A Constructive Approach
Logic
2021-09-13 v2
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.
Keywords
Cite
@article{arxiv.1808.00906,
title = {Axioms for the Real Numbers: A Constructive Approach},
author = {Jean S. Joseph},
journal= {arXiv preprint arXiv:1808.00906},
year = {2021}
}