Courses Winter Semester 2014–2015

(Diese Seite gibt es auch auf Deutsch.)

Place: All courses will be given in the KGRC lecture room (room 101).

NumberTypeHours (ECTS)TitleModuleLecturerTimeLanguage
250077VO3.0 (5.0)Introduction to theoretical computer scienceMLOIMoritz MüllerThu 10:00am–12:30pm
begins 2014-10-09
250084VO2.0 (7.0)Set theory (reading course)MLOVBarnabas FarkasTue 4:00pm–5:30pm
begins 2014-10-07
250078VO4.0 (6.0)Introduction to mathematical logicMLOLLyubomyr ZdomskyyWed 3:15pm–4:50pm
Fri 9:45am–11:20am
begins 2014-10-08
250079PS2.0 (3.0)Introductory seminar: "Introduction to mathematical logic" Moritz Müller,
Stefan Hoffelner
Mon 5:30pm–7:00pm
begins 2014-10-06
250081SE2.0 (4.0)Seminar (mathematical logic)MLOSSy-David FriedmanMon, Wed 2:00pm–3:00pm
begins 2014-10-06
250082VO2.0 (4.0)Selected topics in mathematical logicMLOVSy-David FriedmanTue, Thu 2:00pm–3:00pm
begins 2014-10-07
250080SE2.0 (4.0)Research Seminar (Mathematical logic)MLOSSy-David FriedmanThu 4:00pm–6:00pm
begins 2014-10-09
250083VO2.0 (4.0)Model theory of arithmeticMLOVTin Lok WongWed 12:00pm–1:35pm
begins 2014-10-08

Course details

Selected Topics in Mathematical Logic

Time: Tue, Thu 2:00pm–3:00pm
starts 2014-10-07

The Philosphy and Mathematics of Set-Theoretic Truth

This will be a course devoted to the approach to Set-Theoretic Truth given by the Hyperuniverse Programme. I'll begin with a discussion of the Iterative Conception as well as the Potentialism vs. Actualism debate in our understanding of structure of the set-theoretic universe. Then after touching on various Multiverse Conceptions I'll focus in detail on the Hyperuniverse Programme: Mental pictures and Maximality, the Reduction to the Hyperuniverse, H-Axioms, the IMH and its variants, #-Generation and the Synthesis of Mathematical Criteria. The optimistic aim of the Programme is to discover new first-order consequences of the Maximality feature of the Universe of Sets which resolve fundamental problems in Set Theory such as the Continuum Problem.

Seminar (Mathematical Logic)

Time: Mon, Wed 2:00pm–3:00pm
starts 2014-10-06

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 2014-10-09

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: 2014-10-22, 01:39.