Elements of set theory and recursive arguments

Giuseppe Devillanova, Giovanni Molica Bisci

Abstract


These notes reflect partially the contents of a lecture given by the second author during the International Workshop on New Horizons in Teaching Science in Messina on June 2018. The intention of this lecture was to present 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.

Keywords


Ordered field; Completenees; Algebraic structures; Archimedean fields

Full Text:

PDF


DOI: https://doi.org/10.1478/AAPP.99S1A17

Copyright (c) 2021 Giuseppe Devillanova, Giovanni Molica Bisci

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.