Axioms for the Real Numbers: A Constructive Approach

2018/07/28 by Joseph, Jean S.
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1808.00906

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.

Related

• Modifying the Field Axioms to Create Infinite and Infinitesimal Real Numbers
• Real Analysis in Reverse
• A new approach to the real numbers
• Geometric theories for real number algebra without sign test or dependent choice axiom
• The real numbers - a survey of constructions