Model Theory 2014/2015
This is the website for the course ``Model Theory'' which will be offered at the University of Amsterdam in February and March of 2015.
Exercise sheets and information about the contents of the lectures can be found here.
Homework sheets and information about grading can be found here.
The Model Theory retake exam will take place on Friday 26 June, 9:00-12:00 in D1.113.
- Lecturer: Benno van den Berg
Room: ILLC, Science Park F2.43
- Teaching assistant: Malvin Gattinger
Room: ILLC, Science Park F2.26
Lectures and exercises classes will take place from week 6 till week 12. The first meeting will be the lecture on 4 February. Week 13 is exam week and the exam will take place on March 27, 9:00-12:00 in SP C1.110.
There will be two lectures per week and these will take place on Wednesdays 15:00-17:00 and Thursdays 11:00-13:00. The lectures will be followed by exercise classes: so there will be one on Wednesday 17:00-19:00 and one on Thursday 13:00-15:00. These exercise classes are an integral part of the course. On Thursdays one works on an exercise sheet under the guidance of the teaching assistant (these sheets will appear here). In addition, there will be six homework sheets which influence your final grade for the course (more information about the homework can be found here). The exercise classes on Wednesday will mainly be devoted to handing back and discussing the homework. There will be no exercise class on 4 February.
So the weekly schedule is as follows:
- Wednesday: from 15:00-17:00 there is a lecture in SP G3.02, followed by an exercise class from 17:00-19:00 in SP D1.114.
- Thursday: from 11:00-13:00 lecture (L) followed by an exercise class (EC) from 13:00-15:00. The locations vary per week: on 5 Feb in SP G4.15 (L) and SP G3.02 (EC), on 12 Feb in SP D1.114 (L) and SP B0.201 (EC), on 19 Feb in SP G3.02 (L) and SP A1.10 (EC), on 26 Feb in SP D1.115 (L) and SP D.115 (EC), on 5 Mar in SP G3.02 (L) and SP F1.02 (EC), on 12 Mar in SP D1.115 (L) and SP A.10 (EC), on 19 Mar in SP D1.115 (L) and SP F1.02 (EC).
- Slides and handouts.
- Wilfrid Hodges, A shorter model theory. Cambridge University Press, 1997.
We presuppose some background knowledge in formal logic; in particular familiarity with the syntax and semantics of first-order languages.
Some basic knowledge of topology will be good, and familiarity with algebraic structures (such as rings, fields, and vector spaces) will be useful in order to be able to appreciate the examples.
More importantly, we assume that participants in the course possess the mathematical maturity as can be expected from students in mathematics or logic at the MSc level.
To teaching page.