×

Another Proof of the Existence a Dedekind Complete Totally Ordered Field. arXiv:1101.3825

Preprint, arXiv:1101.3825 [math.LO] (2011).
Summary: We describe the Dedekind cuts explicitly in terms of non-standard rational numbers. This leads to another construction of a Dedekind complete totally ordered field or, equivalently, to another proof of the consistency of the axioms of the real numbers. We believe that our construction is simpler and shorter than the classical Dedekind construction and Cantor construction of such fields assuming some basic familiarity with non-standard analysis.

MSC:

06A05 Total orders
03H05 Nonstandard models in mathematics
12J15 Ordered fields
arXiv data are taken from the arXiv OAI-PMH API. If you found a mistake, please report it directly to arXiv.