# 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

Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
---|---|---|---|---|---|---|---|---|

250077 | VO | 2.0 (3.0) | Basic concepts of mathematical logic | MLO | Moritz Müller | Wed 9:45am–11:15am begins 2015-03-04 | HS2 | German |

250078 | UE | 1.0 (2.0) | Tutorials "Basic concepts of mathematical logic" | MLO | Lyubomyr Zdomskyy | Wed 11:30am–12:15pm begins 2015-03-04 | HS2 | German |

250125 | VO | 3.0 (5.0) | Axiomatic set theory 1 | MLOM | Lyubomyr Zdomskyy | Mon 10:00am–12:20pm begins 2015-03-09 | 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 |

250130 | VO | 2.0 (4.0) | Selected topics in set theory | MLOV | Sy-David Friedman | Tue, Thu 2:00pm–3:00pm begins 2015-03-03 | 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: 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.

## 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)