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

NumberTypeHours (ECTS)TitleModuleLecturerTimePlaceLanguage
250070VO4.0 (6.0)Introduction to mathematical logicMLOLVera FischerMon 8:00am–9:30am, Fri 9:00am–10:30am
begins 2015‑10‑05
250071PS2.0 (3.0)Introductory seminar: "Introduction to mathematical logic"MLOLMoritz Müller, Stefan HoffelnerFri 11:05am–12:35pm
begins 2015‑10‑09
250074VO3.0 (5.0)Introduction to theoretical computer scienceMLOIMoritz MüllerTue 3:30pm–6:00pm
begins 2015‑10‑06
250075SE2.0 (4.0)Seminar (mathematical logic)MLOSSy-David FriedmanMon, Wed 2:00pm–3:00pm
begins 2015‑10‑05
250076SE2.0 (4.0)Research Seminar (Mathematical logic)MLOSSy-David FriedmanThu 4:00pm–6:00pm
begins 2015‑10‑01
250077VO2.0 (4.0)Selected topics in set theoryMLOVBenjamin MillerTue, Thu 2:00pm–3:00pm
begins 2015‑10‑06
250078VO2.0 (7.0)Reading course set theoryMLOVLyubomyr ZdomskyyFri 3:00pm–5:20pm
begins 2015‑10‑02

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.


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: 2016-01-08, 17:04.