Model Theory, 2022-2023 (WISM549)

In the spring of 2023, a course in model theory is organized.

We work from the booklet "A course in Model Theory" by Katrin Tent and Martin Ziegler. We plan to work through the chapters 3,4,5,6.

Organization of the course

We will meet once every two weeks, starting February 20, on Mondays 13--15 in room 409. There will be no lecture, but a discussion of difficulties with the text that we encountered. Participants can volunteer to demonstrate a pre-assigned exercise on the blackboard. This effort will be graded and this grade will count for 15% in the final grade (30% if you volunteer to demonstrate two exercises). In the end, there will be a written exam.

Planning/overview of treated material

6/3/23: pp. 37--46 (end of chapter 3). Sofie demonstrates Exercise 3.3.1 (p.45).
20/3/23: pp. 47--58 (end of section 4.4). Billy demonstrates Exercise 4.2.7 (p.51).
3/4/23: pp. 58--67 (end of section 5.1). Joonas demonstrates Exercise 5.1.2 (p.66).
17/4/23: pp. 67--78 (end of section 5.5). Alex demonstrates Exercise 5.2.5 (p.70).
1/5/23: pp. 79--88 (end of chapter 5). Quinn demonstrates Exercise 5.6.2 (p.81).
15/5/23: pp. 89--100 (end of section 6.3). Billy demonstrates Exercise 6.1.7 (p.93); Alex demonstrates Exercise 6.1.12 (p.94).
29/5/23 and 5/5/23: no meeting: teacher is absent.
12/6/23: pp. 100--107 (end of chapter 6). Joonas demonstrates Exercise 6.4.3 (p.107)
19/6/23: written exam. Here is the exam, with solutions.

Back to my teaching page