Courses Winter Semester 2015&ndash2016
(Diese Seite gibt es auch auf Deutsch.)
Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.
Place "HS2": Oskar-Morgenstern-Platz 1, ground level, lecture hall 2
Place "KGRC": Währinger Straße 25, top floor, lecture room 101
Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
---|---|---|---|---|---|---|---|---|
250074 | VO | 3.0 (5.0) | Introduction to theoretical computer science | MLOI | Moritz Müller | TBA begins TBA | German | |
250070 | VO | 4.0 (6.0) | Introduction to mathematical logic | MLOL | Vera Fischer | TBA begins TBA | English | |
250071 | PS | 2.0 (3.0) | Introductory seminar: "Introduction to mathematical logic" | MLOL | Stefan Hoffelner | TBA begins TBA | German | |
250078 | VO | 2.0 (7.0) | Reading course set theory | MLOV | Lyubomyr Zdomskyy | TBA begins TBA | KGRC | English |
250126 | PS | 2.0 (3.0) | Introductory seminar: "Axiomatic set theory 1" | Anda-Ramona Tanasie | Wed 9:45am–11:15am begins 2015-03-11 | KGRC | English | |
250131 | VO | 2.0 (3.0) | Computability and Complexity | MLOV | Moritz Müller | Tue 4:00pm–5:30pm begins 2015-03-10 | KGRC | English |
250077 | VO | 2.0 (4.0) | Selected topics in set theory | MLOV | Benjamin Miller | TBA begins TBA | KGRC | English |
250128 | SE | 2.0 (4.0) | Seminar (mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm begins 2015-03-02 | KGRC | English |
250127 | SE | 2.0 (4.0) | Research Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm begins 2015-03-05 | KGRC | English |
Course details
Selected topics in set theory
Time: TBA
starts TBA
Place: KGRC
HOD and the Stable Core
This course will explore ways in which Gödel's inner model HOD serves as a good approximation to the universe V of all sets. A useful tool in this investigation is the Stable Core, an inner model of HOD with an enhanced degree of robustness. Among the properties we'll consider are the Genericity of V over HOD, the Rigidity of HOD, Covering properties of V with respect to HOD and the Witnessing of Large Cardinal Properties in HOD. The material for the course will be derived from work of Vopenka, Woodin, Gitik, myself and others.
Seminar (Mathematical Logic)
Time: Mon, Wed 2:00pm–3:00pm
starts 2015-03-02
Place: KGRC
In this Seminar, students give talks about advanced topics in mathematical Logic. This seminar is intended mainly for students writing their diploma, master or PhD thesis at the KGRC.
Research Seminar
Time: Thu 4:00pm–6:00pm
starts 2015-03-05
Place: KGRC
This is an advanced seminar in mathematical logic for doctoral and postdoctoral researchers.
Modules
MLOL - Mathematische Logik (mathematical logic)
MLOM - Axiomatische Mengenlehre (axiomatic set theory)
MLOI - Theoretische Informatik (theoretical computer science)
MLOS - Seminare: Mathematische Logik und theoretische Informatik (seminars in mathematical logic and computer science)
MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik" (courses elaborating on mathematical logic and theoretical computer science as an area of study)