{{menu|Teaching|Lehrveranstaltungen Wintersemester 2015/2016}}
{{EN|Summer_courses}}
'''Hinweis:''' Alle Lehrveranstaltungen am KGRC werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden.
'''Ort "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 Erdgeschoss], Hörsaal 2
'''Ort "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|2. Stock]], Seminarraum 101
{{table top|Nummer|Typ|WSt (ECTS)|Titel|Modul|Vortragende(r)|Zeit (pünktl.)|Ort|Sprache}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250074&semester=W2015&extended=Y 250074]|VO|3,0 (5,0)|[/~muellem3/teaching.html Einführung in die Theoretische Informatik]|MLOI|[/~muellem3/ Moritz Müller]|TBA
Beginn: TBA||Deutsch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250070&semester=W2015&extended=Y 250070]|VO|4,0 (6,0)|Einführung in die Mathematische Logik|MLOL|[/~vfischer/ Vera Fischer]|TBA
Beginn: TBA||Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250071&semester=W2015&extended=Y 250071]|PS|2,0 (3,0)|Proseminar zu "Einführung in die Mathematische Logik"|MLOL|Stefan Hoffelner|TBA
Beginn: TBA||Deutsch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250078&semester=W2015&extended=Y 250078]|VO|2,0 (7,0)|Reading Course Mengenlehre|MLOV|[/~lzdomsky/ Lyubomyr Zdomskyy]|TBA
Beginn: TBA|KGRC|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250126&semester=W2015&extended=Y 250126]|PS|2,0 (3,0)|[/~tanasia8/teaching.html Proseminar zu "Axiomatische Mengenlehre 1"]| |[/~tanasia8/ Anda-Ramona Tanasie]|Mi 9:45-11:15
Beginn: 2015-03-11|KGRC|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250131&semester=W2015&extended=Y 250131]|VO|2,0 (3,0)|[/~muellem3/teaching.html Berechenbarkeit und Komplexität]|MLOV|[/~muellem3/ Moritz Müller]|Di 16:00-17:30
Beginn: 2015-03-10|KGRC|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250077&semester=W2015&extended=Y 250077]|VO|2,0 (4,0)|[#AK Ausgewählte Kapitel aus der Mengenlehre]|MLOV|[/benjamin.miller/ Benjamin Miller]|TBA
Beginn: TBA|KGRC|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250128&semester=W2015&extended=Y 250128]|SE|2,0 (4,0)|[#Seminar_Mathematische Seminar (Mathematische Logik)]|MLOS|[/~sdf/ Sy-David Friedman]|Mo, Mi 14:00–15:00
Beginn: 2015-03-02|KGRC|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250127&semester=W2015&extended=Y 250127]|SE|2,0 (4,0)|[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]|MLOS|[/~sdf/ Sy-David Friedman]|Do 16:00–18:00
Beginn: 2015-03-05|KGRC|Englisch}}
{{table bottom}}
== Inhalte der Lehrveranstaltungen ==
=== Ausgewählte Kapitel aus der Mengenlehre ===
Zeit: TBA
Beginn: TBA
Ort: KGRC
''Diese Lehrveranstaltung wird auf Englisch abgehalten.''
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 (Mathematische Logik) ===
Zeit: Mo, Mi 14:00–15:00
Beginn: 2015-03-02
Ort: KGRC
In diesem Seminar werden Vorträge über fortgschrittene Mathematische Logik von Studierenden gehalten
(in erster Linie von solchen, die am KGRC eine Diplom- oder Masterarbeit oder Dissertation schreiben).
=== Forschungsseminar aus der Mathematischen Logik ===
Zeit: Do 16:00–18:00
Beginn: 2015-03-05
Ort: KGRC
''Diese Lehrveranstaltung wird auf Englisch abgehalten.''
Dies ist ein fortgeschrittenes Seminar in Mathematischer Logik für Doktoranden und PostDocs.
== Module ==
'''MLOL''' - Mathematische Logik
'''MLOM''' - Axiomatische Mengenlehre
'''MLOI''' - Theoretische Informatik
'''MLOS''' - Seminare: Mathematische Logik und theoretische Informatik
'''MLOV''' - Vertiefungslehrveranstaltungen für den Studienschwerpunkt
"Mathematische Logik und theoretische Informatik"