Axioms for the Real Numbers: A Constructive Approach

Autor:	Joseph, Jean S.
Rok vydání:	2018
Předmět:	Mathematics - Logic
Druh dokumentu:	Working Paper
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1808.00906 Zobrazit plný text záznamu View this record from Arxiv