Courses Summer Semester 2015

(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

NumberTypeHours (ECTS)TitleModuleLecturerTimePlaceLanguage
250077VO2.0 (3.0)Basic concepts of mathematical logicMLOMoritz MüllerWed 9:45am–11:15am
begins 2015-03-04
250078UE1.0 (2.0)Tutorials "Basic concepts of mathematical logic"MLOLyubomyr ZdomskyyWed 11:30am–12:15pm
begins 2015-03-04
250125VO3.0 (5.0)Axiomatic set theory 1MLOMLyubomyr ZdomskyyMon 10:00am–12:20pm
begins 2015-03-09
250126PS2.0 (3.0)Introductory seminar: "Axiomatic set theory 1" Anda-Ramona TanasieWed 9:45am–11:15am
begins 2015-03-11
250131VO2.0 (3.0)Computability and ComplexityMLOVMoritz MüllerTue 4:00pm–5:30pm
begins 2015-03-10
250130VO2.0 (4.0)Selected topics in set theoryMLOVSy-David FriedmanTue, Thu 2:00pm–3:00pm
begins 2015-03-03
250128SE2.0 (4.0)Seminar (mathematical logic)MLOSSy-David FriedmanMon, Wed 2:00pm–3:00pm
begins 2015-03-02
250127SE2.0 (4.0)Research Seminar (Mathematical logic)MLOSSy-David FriedmanThu 4:00pm–6:00pm
begins 2015-03-05

Course details

Selected topics in set theory

Time: Tue, Thu 2:00pm–3:00pm
starts 2015-03-03
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.


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)

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2015-04-08, 22:00.