Seminar on Mathematical Logic
2015/2016; 2nd Semester
Institute for Logic, Language & ComputationUniversiteit 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.
| |