Work

Axioms for the Real Numbers: A Constructive Approach

Year: 2018
Type: preprint
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.
Language: English
Open Access status: green
OpenAlex ID: W2886449618
Cites: 3
Cited by: 1
Related to: 10