Cours Année : 2024

An Introduction to Mathematical Logic

Résumé

These are the lecture notes of a course on mathematical logic for master students in mathematics given in 2024-2025 at the university of Rennes. The document is entirely self-contained and does not suppose any prerequisite. Some parts of these lectures notes are sometimes largely based on or copied verbatim from publications of other authors. When this is the case, these parts are mentioned at the end of each chapter in the section “Suggested further reading”. In particular, all the figures that appear in the second part on non-standard analysis stem from the book of H. J. Keisler, "Elementary Calculus: an Approach Using Infinitesimals" (1986, Prindle and Weber & Schmidt), an online edition of this book is freely available on the website https://people.math.wisc.edu/~hkeisler/calc.html. Another important reference is the book of E. Mendelson, "Introduction to mathematical logic" (2010, CRC press, 5th edition). These lecture notes are complemented by the document "Seminar: introduction to set theory" written by Romain Azam and which is available on HAL at https://hal.science/hal-04777494.

Mots clés

Fichier principal
Vignette du fichier
Cours-Logique-Mathematique-2024-HAL.pdf (4.6 Mo) Télécharger le fichier

Dates et versions

hal-04816383 , version 1 (03-12-2024)

Licence

Identifiants

  • HAL Id : hal-04816383 , version 1

Citer

Guillaume Aucher. An Introduction to Mathematical Logic. Master. Rennes, France. 2024, pp.202. ⟨hal-04816383⟩
526 Consultations
270 Téléchargements

Partager

  • More