{{menu|Teaching|Courses Winter Semester 2015&ndash2016}}
{{DE|Sommer-LVA}}
'''Note:''' All lectures at the KGRC are given in English, or at least can be given in English if requested.
'''Place "HS2":''' [https://maps.google.at/maps?q=oskar-morgenstern-platz+1&hl=de&sll=48.219397,16.367791&sspn=0.011652,0.01929&hnear=Oskar-Morgenstern-Platz+1,+Alsergrund+Wien&t=m&z=16&iwloc=A Oskar-Morgenstern-Platz 1], [https://event.univie.ac.at/fileadmin/user_upload/DOEVL_events/PlaeneNEU/Gebaeudeplan_OMP_EG_01.jpg ground level], lecture hall 2
'''Place "KGRC":''' [https://maps.google.at/maps?q=Kurt+G%C3%B6del+Research+Center+(KGRC)+for+Mathematical+Logic,+University+of+Vienna,+W%C3%A4hringer+Stra%C3%9Fe,+Wien&hl=de&ie=UTF8&sll=48.220685,16.38006&sspn=0.372851,0.617294&oq=kurt+g%C3%B6del+re&t=m&z=16 Währinger Straße 25], [[Floor plan|top floor]], lecture room 101
{{table top|Number|Type|Hours (ECTS)|Title|Module|Lecturer|Time|Place|Language}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250074&semester=W2015&extended=Y 250074]|VO|3.0 (5.0)|[/~muellem3/teaching.html Introduction to theoretical computer science]|MLOI|[/~muellem3/ Moritz Müller]|TBA
begins TBA||German}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250070&semester=W2015&extended=Y 250070]|VO|4.0 (6.0)|Introduction to mathematical logic|MLOL|[/~vfischer/ Vera Fischer]|TBA
begins TBA||English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250071&semester=W2015&extended=Y 250071]|PS|2.0 (3.0)|Introductory seminar: "Introduction to mathematical logic"|MLOL|Stefan Hoffelner|TBA
begins TBA||German}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250078&semester=W2015&extended=Y 250078]|VO|2.0 (7.0)|Reading course set theory|MLOV|[/~lzdomsky/ Lyubomyr Zdomskyy]|TBA
begins TBA|KGRC|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250126&semester=W2015&extended=Y 250126]|PS|2.0 (3.0)|[/~tanasia8/teaching.html Introductory seminar: "Axiomatic set theory 1"]| |[/~tanasia8/ Anda-Ramona Tanasie]|Wed 9:45am–11:15am
begins 2015-03-11|KGRC|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250131&semester=W2015&extended=Y 250131]|VO|2.0 (3.0)|[/~muellem3/teaching.html Computability and Complexity]|MLOV|[/~muellem3/ Moritz Müller]|Tue 4:00pm–5:30pm
begins 2015-03-10|KGRC|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250077&semester=W2015&extended=Y 250077]|VO|2.0 (4.0)|[#AK Selected topics in set theory]|MLOV|[/benjamin.miller/ Benjamin Miller]|TBA
begins TBA|KGRC|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250128&semester=W2015&extended=Y 250128]|SE|2.0 (4.0)|[#Seminar_Mathematische Seminar (mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Mon, Wed 2:00pm–3:00pm
begins 2015-03-02|KGRC|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250127&semester=W2015&extended=Y 250127]|SE|2.0 (4.0)|[#Forschungsseminar Research Seminar (Mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Thu 4:00pm–6:00pm
begins 2015-03-05|KGRC|English}}
{{table bottom}}
== Course details ==
=== Selected topics in set theory ===
Time: TBA
starts TBA
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)