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 
1719
 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 
1719
 SP 107 F1.15
 Jotte Kuilder.
 Chapters 1 & 2: The standard model and Discretely ordered
rings.

Monday 22 February 2016 
1719
 SP 107 F1.15
 Anna Bellomo.
 Chapters 4 & 5: The axioms of Peano arithmetic and Some
number theory in PA.

Tuesday 23 February 2016 
1517
 SP 904 G2.13

Andrzej Bułeczka.
 Chapter 6: Models of PA.

Wednesday 24 February 2016 
1719
 SP 904 G2.13
 Melina Mendoza Gutierrez.
 Chapter 7: Collection.

Thursday 25 February 2016 
1719
 SP 107 F1.15

Monday 29 February 2016 
1719
 SP 107 F1.15

Tuesday 1 March 2016 
1517
 SP 904 G2.04
 Levin Hornischer.
 Section 8.1: Prime models: Definable elements.

Wednesday 2 March 2016 
1719
 SP 107 F1.15

Guillaume Massas.
 Chapter 9: Satisfaction.

Thursday 3 March 2016 
1719
 SP 107 F1.15

Monday 14 March 2016 
1719
 SP 107 F1.15
 Kristina Gogoladze & Jakob Piribauer.
 Chapter 10: Subsystems of PA.

Tuesday 15 March 2016 
1517
 SP 904 G2.04

Wednesday 16 March 2016 
1719
 SP 107 F1.15
 Stella Moon.
 Chapter 11: Saturation.

Thursday 17 March 2016 
1719
 SP 107 F1.15
 Sander in't Veld.
 Section 8.2: Prime models: Endextensions.

