Seminar on Mathematical Logic
2016/2017; 1st Semester
Institute for Logic, Language & ComputationUniversiteit van Amsterdam
Instructor: Prof. Dr. Benedikt
Löwe
ECTS: 3
Schedule.
| Monday 31 October 2016 | 15-17 F1.15 (ILLC Seminar Room) | Introduction and distribution of topics. | |
|---|---|---|---|
| Tuesday 15 November 2016 | 17-19 F1.15 (ILLC Seminar Room) | Stella Moon | ω-automata. |
| Wednesday 16 November 2016 | 17-19 F1.15 (ILLC Seminar Room) | Victor Delage Santiago Jockwich Dean McHugh | Infinite Games, part I (based on Mazala and Khomskii, Infinite Games & Unbeatable Strategies). |
| Tuesday 22 November 2016 | 17-19 F3.20 (KdVI Seminar Room) | Victor Delage Santiago Jockwich Dean McHugh | Infinite Games, part II (based on Mazala and Khomskii, Infinite Games & Unbeatable Strategies). |
| Wednesday 23 November 2016 | 17-19 F1.15 (ILLC Seminar Room) | Victor Delage Santiago Jockwich Dean McHugh | Infinite Games, part III (based on Mazala and Khomskii, Infinite Games & Unbeatable Strategies). |
| Thursday 24 November 2016 | 17-19 F1.15 (ILLC Seminar Room) | Jedrzej Kołodziejski | Determinization of Büchi automata. |
| Monday 28 November 2016 | 15-17 F3.20 (KdVI Seminar Room) | ||
| Tuesday 29 November 2016 | 17-19 F1.15 (ILLC Seminar Room) | Esteban Landerreche | Complementation of Büchi Automata. |
| Tuesday 6 December 2016 | 17-19 F3.20 (KdVI Seminar Room) | Saúl Fernandez Gonzalez | Baire space and its topology (based on Khomskii, Infinite Games & Unbeatable Strategies). |
| Wednesday 7 December 2016 | 17-19 F1.15 (ILLC Seminar Room) | Robert Passmann | Applications of games to Baire space; Baire property and perfect set property (based on Khomskii, Infinite Games & Unbeatable Strategies). |
| Thursday 8 December 2016 | 17-19 F3.20 (KdVI Seminar Room) | Stefania Ionescu | Memoryless determinacy for parity games. |
| Monday 12 December 2016 | 15-17 F1.15 (ILLC Seminar Room) |
Max Bohnet Eiseart Dunne Kaibo Xie | Flip sets and the Wadge hierarchy, Part I (based on Khomskii, Infinite Games & Unbeatable Strategies and Andretta's notes). |
| Tuesday 13 December 2016 | 17-19 F1.15 (ILLC Seminar Room) |
Max Bohnet Eiseart Dunne Kaibo Xie | Flip sets and the Wadge hierarchy, Part II (based on Khomskii, Infinite Games & Unbeatable Strategies and Andretta's notes). |
| Wednesday 14 December 2016 | 17-19 F1.15 (ILLC Seminar Room) |
Max Bohnet Eiseart Dunne Kaibo Xie | Flip sets and the Wadge hierarchy, Part III (based on Khomskii, Infinite Games & Unbeatable Strategies and Andretta's notes). |
| Thursday 15 December 2016 | 15-17 F3.20 (KdVI Seminar Room) | Jan Rooduijn | Games and ultrafilters. |