UvA Logo

Seminar on Mathematical Logic

2015/2016; 2nd Semester

Institute for Logic, Language & Computation
Universiteit van Amsterdam

Instructor: Prof. Dr. Benedikt Löwe
Vakcode: 5314SEML3Y
ECTS: 3

Topic of this course: Models of arithmetic. The course follows the book Models of Peano Arithmetic by Richard Kaye.

Evaluation: The course is graded on a pass/fail basis. In order to pass, a student will have to give a presentation in class.

Schedule.

Monday
1 February 2016
17-19 SP 904 A1.20 Benedikt Löwe. Introduction to the theme of the seminar and the various topics. Distribution of tasks to the students.
Thursday
18 February 2016
17-19 SP 107 F1.15 Jotte Kuilder. Chapters 1 & 2: The standard model and Discretely ordered rings.
Monday
22 February 2016
17-19 SP 107 F1.15 Anna Bellomo. Chapters 4 & 5: The axioms of Peano arithmetic and Some number theory in PA.
Tuesday
23 February 2016
15-17 SP 904 G2.13
Andrzej Bułeczka. Chapter 6: Models of PA.
Wednesday
24 February 2016
17-19 SP 904 G2.13
Melina Mendoza Gutierrez. Chapter 7: Collection.
Thursday
25 February 2016
17-19 SP 107 F1.15
Monday
29 February 2016
17-19 SP 107 F1.15
Tuesday
1 March 2016
15-17 SP 904 G2.04 Levin Hornischer. Section 8.1: Prime models: Definable elements.
Wednesday
2 March 2016
17-19 SP 107 F1.15
Guillaume Massas. Chapter 9: Satisfaction.
Thursday
3 March 2016
17-19 SP 107 F1.15
Monday
14 March 2016
17-19 SP 107 F1.15 Kristina Gogoladze & Jakob Piribauer. Chapter 10: Subsystems of PA.
Tuesday
15 March 2016
15-17 SP 904 G2.04
Wednesday
16 March 2016
17-19 SP 107 F1.15 Stella Moon. Chapter 11: Saturation.
Thursday
17 March 2016
17-19 SP 107 F1.15 Sander in't Veld. Section 8.2: Prime models: End-extensions.
Last update: 3 March 2016.