On Proving the Existence of Complete Ordered Fields
From MaRDI portal
It is proved that any incomplete archimedean ordered field \(K\) has a proper archimedean ordered field extension by explicitly constructing such an extension from any given non-empty subset of \(K\) which is bounded above but does not have a least upper bound in \(K\). The authors also use this construction to obtain the algebraic structure of the real number system on the ordered set of real numbers by a method which is slightly simpler than the one following the usual order theoretic approach.
Recommendations
Cited in
(9)- On characterizations of the ordered field of real numbers
- scientific article; zbMATH DE number 3857955 (Why is no real title available?)
- scientific article; zbMATH DE number 3963988 (Why is no real title available?)
- scientific article; zbMATH DE number 722168 (Why is no real title available?)
- scientific article; zbMATH DE number 740347 (Why is no real title available?)
- scientific article; zbMATH DE number 940706 (Why is no real title available?)
- From the reals of Dedekind and Cantor to non-Archimedean ordered fields
- Real numbers and other completions
- The fabulous destiny of Richard Dedekind
This page was built for publication: On Proving the Existence of Complete Ordered Fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222442)
