In this paper we provide a compact introduction to some of the basic topics of Mathematical Analysis, comprising natural and unrestricted set theoretic methods. The note reflects 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. More precisely, following a quite new didactic approach, we present here a concise introduction to the generalized induction principle as well as the Recursion Theorem, which plays a crucial role in the foundation of Mathematical Logic. Some elements of von Neumann, Goedel and Bernays (NGB) set theory are given in the last section. The note provides the preliminary tools that are essential in order to study the classical notion of Dedekind completeness investigated in [9].
Elements of Set Theory and recursive arguments / Devillanova, G.; Molica Bisci, G.. - (2020).
Elements of Set Theory and recursive arguments
G. Devillanova;
2020-01-01
Abstract
In this paper we provide a compact introduction to some of the basic topics of Mathematical Analysis, comprising natural and unrestricted set theoretic methods. The note reflects 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. More precisely, following a quite new didactic approach, we present here a concise introduction to the generalized induction principle as well as the Recursion Theorem, which plays a crucial role in the foundation of Mathematical Logic. Some elements of von Neumann, Goedel and Bernays (NGB) set theory are given in the last section. The note provides the preliminary tools that are essential in order to study the classical notion of Dedekind completeness investigated in [9].I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
