Programme d’études 2018-2019 | English | ||
Théorie des modèles I | |||
Activité d'apprentissage à la Faculté des Sciences |
Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(s) |
---|---|---|---|
S-MATH-023 |
|
Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement |
---|---|---|---|---|---|---|---|
Français | Français | 15 | 15 | 0 | 0 | 0 | Q2 |
Contenu de l'AA
Theorèmes de Lowenheim-Skolem, sous-structures élémentaires, existentiellement closes. Théories modèles-complètes; élimination des quantificateurs (critères pour ces propriétés). Exemples algébriques de ces notions. Va-et-vient, ordres discrets et denses. Relations d'équivalence. Catégoricité et théorème de Ryll-Nardweski.
Supports principaux
Note de cours - Théorie des modèles 1 - Françoise Point
Supports principaux non reproductibles
Marker, D., Model theory. An introduction. Graduate Texts in Mathematics, 217. Springer-Verlag, New York, 2002.
Chang, C. C.; Keisler, H. J. Model theory. Third edition. Studies in Logic and the Foundations of Mathematics, 73. North-Holland Publishing Co., Amsterdam, 1990, 1977, 1973.
Supports complémentaires
Support complémentaires non reproductibles
Sans objet
Autres références conseillées
Poizat B., Cours de théorie des modèles, 1985, Nur Al-Mantiq Wal-Ma'rifah. [Version anglaise éditée chez Springer en 2000.]
Hodges, W., Model theory. Encyclopedia of Mathematics and its Applications, 42. Cambridge University Press, Cambridge, 1993.
Mode d'enseignement
Types d'activités
Evaluations
Les modalités d'évaluation de l'AA sont précisées dans la fiche de l'UE dont elle dépend