Archive 2022
UFR maths
Licences
Masters
⟩
Courses
Version française
moodle page
Théorie des modèles
4 ECTS, semester 1, 12 weeks
Program requirements
examen
Teacher
Tomas Ibarlucia
Weekly hours
2 h CM , 2 h TD
Years
Master Logique Mathématique et Fondements de l'Informatique
M2 Logos
Syllabus
1st-order languages, structures, theories
Ultraproducts, compactness.
Elementary extensions, Lowenheim-Skolem theorems, elementary chains.
Preservation theorems.
Back-and-forth arguments.
Quantifier elimination, model completeness
The space of types.
(If time allows it) Realized and omitted types, atomic models.
Bibliography
D. MARKER, Model theory, An introduction, Graduate Texts in Mathematics, 217, Springer- Verlag, New York, 2002.
K. TENT & M. ZIEGLER, A Course in Model Theory. Lecture Notes in Logic, Cambridge University.
Navigation
Master top page
Licences
Informations
Degrees
Mathématiques Fondamentales
Mathématiques-Informatique Data Science
Modélisation aléatoire
Mathématiques, Informatique de la Cryptologie et sécurité
Mathématiques Générales
Logique Mathématique et Fondements de l'Informatique
Master LOGOS
ISIFAR
Probabilités
Modélisation
Master 1
M1 ISIFAR
M1-LOGOS
M1 mathématiques et informatique
M1 Mathématiques (MFA)
M1-MIC
Master 2
M2 Math-Info-Crypto
M2-math
M2-MO
M2 modelisation
M2 MIDS
M2 ISIFAR
M2-LMFI
M2 Enseignants
M2 proba
M2 agrégation
M2-LOGOS
M2 Math-Info-Crypto
All courses
Practical informations
inscriptions
calendrier
accès
Questions fréquentes
Contacts
Bâtiment Sophie Germain
8 place Aurélie Nemours
75013 Paris
Responsable pôle scolarité Master
Christian Senecal
bureau 1012
Scolarité MIC, MIDS, MO, LMFI
Mme Chatoux
bureau 1011
01 57 27 93 06
Scolarité MFA - Isifar
Nathalie Naveau
bureau 1012
01 57 27 65 37
Christian Senecal
bureau 1012
Scolarité Didactique, Agrégation, MEEF, L3 professorat des écoles
Sandrine Pellé
bureau 1011
01 57 27 65 44
École Doctorale
Mme Hariti
bureau 5056
01 57 27 92 13