Code | Lecturer(s) | Associate Lecturer(s) | Subsitute Lecturer(s) et other(s) |
---|---|---|---|
S-MATH-023 |
|
Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term |
---|---|---|---|---|---|---|---|
Français | Français | 15 | 15 | 0 | 0 | 0 | Q2 |
Contents
Lowenheim-Skolem theorems, kappa-categorical theories and Vaught Theorem. Back and Forth and dense linear orders. Quantifier-elimination criteria and applications to algebraically closed fields and real-closed fields. Model-complete theories and Lindström theorem. Stone spaces of types and aleph_0-categorical theories.
Required Reading
Required Learning Resources/Tools
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.
Recommended Reading
Recommended Learning Resources/Tools
Not applicable
Other Recommended Reading
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 of delivery
- Face to face
Term 1 Assessment - type
- N/A
Term 1 Assessment - comments
Not applicable
Term 2 Assessment - type
- Oral Examination
- Written examination
Term 2 Assessment - comments
The evaluation consists in a written exam on exercices (1/3) and is completed by an oral exam (2/3).
Term 3 Assessment - type
- Written examination
Term 3 Assessment - comments
The evaluation consists in a written exam on exercices and a theoretical knowledge of the material.
Resit Assessment - Term 1 (B1BA1) - Comments
Not applicable
Type of Teaching Activity/Activities
- Cours (cours magistraux; conférences)
- Exercices dirigés / utilisation de logiciels / démonstrations