Study programme 20202021  Français  
Model theory I  
Programme component of Bachelor's in Mathematics à la Faculty of Science 
Students are asked to consult the ECTS course descriptions for each learning activity (AA) to know what special Covid19 assessment methods are possibly planned for the end of Q3 

Code  Type  Head of UE  Department’s contact details  Teacher(s) 

USB3SCMATH009M  Compulsory UE  POINT Françoise  S838  Logique mathématique 

Language of instruction  Language of assessment  HT(*)  HTPE(*)  HTPS(*)  HR(*)  HD(*)  Credits  Weighting  Term 

 Français  15  15  0  0  0  4  4.00  2nd term 
AA Code  Teaching Activity (AA)  HT(*)  HTPE(*)  HTPS(*)  HR(*)  HD(*)  Term  Weighting 

SMATH023  Model Theory I  15  15  0  0  0  Q2  100.00% 
Programme component 

Objectives of Programme's Learning Outcomes
Learning Outcomes of UE
Be comfortable with the basic notions of Model Theory and with solving simple exercices.
Content of UE
LowenheimSkolem theorems, elementary substructures, existentially closed ones. Modelcomplete theories, quantifier elimination (criteria for these properties). Algebraic examples for these notions. Backandforth and dense/discrete orders. Equivalence relations. Introduction to the notion of types. Categoricity and RyllNardweski theorem.
Prior Experience
It relies on the first course on logic and model theory given by Christian Michaux.
Type of Assessment for UE in Q1
Q1 UE Assessment Comments
The evaluation consists in a written exam.
Type of Assessment for UE in Q2
Q2 UE Assessment Comments
evaluation during the semester which is taken into account on the final evaluation.
Type of Assessment for UE in Q3
Q3 UE Assessment Comments
The evaluation consists in a written exam on exercices and a theoretical knowledge of the material.
Type of Resit Assessment for UE in Q1 (BAB1)
Q1 UE Resit Assessment Comments (BAB1)
Not applicable
Type of Teaching Activity/Activities
AA  Type of Teaching Activity/Activities 

SMATH023 

Mode of delivery
AA  Mode of delivery 

SMATH023 

Required Reading
AA  

SMATH023 
Required Learning Resources/Tools
AA  Required Learning Resources/Tools 

SMATH023  Marker, D., Model theory. An introduction. Graduate Texts in Mathematics, 217. SpringerVerlag, New York, 2002. Chang, C. C.; Keisler, H. J. Model theory. Third edition. Studies in Logic and the Foundations of Mathematics, 73. NorthHolland Publishing Co., Amsterdam, 1990, 1977, 1973. 
Recommended Reading
AA  

SMATH023 
Recommended Learning Resources/Tools
AA  Recommended Learning Resources/Tools 

SMATH023  Not applicable 
Other Recommended Reading
AA  Other Recommended Reading 

SMATH023  Poizat B., Cours de théorie des modèles, 1985, Nur AlMantiq WalMa'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. 
Grade Deferrals of AAs from one year to the next
AA  Grade Deferrals of AAs from one year to the next 

SMATH023  Authorized 