K4041115 - Théorie des modèles - Cours magistral
Ce cours propose d'introduire à la théorie des modèles classique. L'approche dite « modèle-théorique » de la
logique classique vise à caractériser les structures qui satisfont les théories du premier ordre de manière à
pouvoir les comparer (en l'occurrence leurs propriétés sémantiques et mathématiques, comme leur expressivité,
leur nombre, leur taille, etc.). Tout à fin de mieux les classer et de comprendre leur globalité. Dans ce cours,
nous partirons d'un langage interprété pour la logique du premier ordre, présenterons un théorème de
complétude dans ce cadre, puis étudierons les résultats les plus fondamentaux, positifs ou négatifs, de la théorie
des modèles classique : définissabilité, compacité, théorème de Löwenhein-Skolem et ses
conséquences, interpolation, caractérisation de Lindström, etc.
Bibliographie indicative:
-C.C Chang and H.J Keisler, Model Theory, 3rd Ed., Dover Books 2012
-Wilfrid Hodges, A Shorter Model Theory, Cambridge University Press, 1997.
-Jouko Väänänen, Models and Games, Cambridge University Press, 2011
Informations sur l'espace de cours
Nom | Archive année 2023-2024 Archive année 2022-2023 Théorie des modèles |
Nom abrégé | UP1-C-ELP-K4041115-07 |
Groupes utilisateurs inscrits | Consultation des ressources, participation aux activités :
|
Rattachements à l'offre de formation
Élément pédagogique | UP1-C-ELP-K4041115 - Théorie des modèles |
Chemin complet | > Année 2024-2025 > Paris 1 > Philosophie > M1 Philosophie parcours logique et philosophie des sciences > Semestre 1 > UE3 enseignement spécifique > Option logique > Théorie des modèles |