• Votre sélection est vide.

    Enregistrez les diplômes, parcours ou enseignements de votre choix.

Théorie des modèles

  • Composante

    UFR de philosophie (UFR10)

  • Volume horaire

    26h

  • Période de l'année

    Automne

Description

2- Théorie des modéles (3 ECTS)   K4041115

Mirna Džamonjat    

    Mardi 16h-18h    

  Halbwachs 

 

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équencesinterpolationcaractérisation de Lindströmetc.

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

Lire plus