Abstract
By using the preliminary results given in a previous divulgative note, we present here a concise and self–contained introduction to the construction of the real field as the unique, up to increasing isomorphism, Dedekind complete totally ordered field. Moreover, we also show the equivalence between the Dedekind completeness property on totally ordered fields and some meaningful well–known notions present in the literature, such as the Cauchy completeness on totally ordered Archimedean fields. This characterization result allows us to correctly encode the Dedekind completeness for totally ordered fields in the general abstract setting of metric spaces. We believe that the essential parts of the paper can be easily accessed by anyone with some experience in abstract mathematical thinking. The paper completes the lecture given by the second author during the International Workshop on New Horizons in Teaching Science in Messina on June 2018.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
