# Courses Winter Semester 2015–2016

(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 "KGRC":** Währinger Straße 25, top floor, lecture room 101

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

250070 | VO | 4.0 (6.0) | Introduction to mathematical logic | MLOL | Vera Fischer | Mon 8:00am–9:30am, Fri 9:00am–10:30am begins 2015‑10‑05 | KGRC | English |

250071 | PS | 2.0 (3.0) | Introductory seminar: "Introduction to mathematical logic" | MLOL | Moritz Müller, Stefan Hoffelner | Fri 11:05am–12:35pm begins 2015‑10‑09 | KGRC | English |

250074 | VO | 3.0 (5.0) | Introduction to theoretical computer science | MLOI | Moritz Müller | Tue 3:30pm–6:00pm begins 2015‑10‑06 | KGRC | English |

250075 | SE | 2.0 (4.0) | Seminar (mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm begins 2015‑10‑05 | KGRC | English |

250076 | SE | 2.0 (4.0) | Research Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm begins 2015‑10‑01 | KGRC | English |

250077 | VO | 2.0 (4.0) | Selected topics in set theory | MLOV | Benjamin Miller | Tue, Thu 2:00pm–3:00pm begins 2015‑10‑06 | KGRC | English |

250078 | VO | 2.0 (7.0) | Reading course set theory | MLOV | Lyubomyr Zdomskyy | Fri 3:00pm–5:20pm begins 2015‑10‑02 | KGRC | English |

## Course details

### Selected topics in set theory

Time: Tue, Thu 2:00pm–3:00pm

starts 2015‑10‑06

Place: KGRC

This seminar will serve as an introduction to the descriptive set theory of Borel subsets of Polish spaces. The only prerequisite is a rudimentary knowledge of ordinals and point-set topology. The first half of the course will be devoted to classical results, whereas the second will concern the graph-theoretic route toward establishing the many dichotomy theorems of the subject, including Silver's perfect set theorem and the Glimm-Effros characterization of smoothness. Several open questions will also be presented.

### Seminar (Mathematical Logic)

Time: Mon, Wed 2:00pm–3:00pm

starts 2015‑10‑05

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‑10‑01

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)