Lehrveranstaltungen Sommersemester 2015

(This page is also available in English.)

Hinweis: Alle Lehrveranstaltungen am KGRC werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden.

Ort "HS2": Oskar-Morgenstern-Platz 1, Erdgeschoss, Hörsaal 2

Ort "KGRC": Währinger Straße 25, 2. Stock, Seminarraum 101

NummerTypWSt (ECTS)TitelModulVortra­gende(r)Zeit (pünktl.)OrtSprache
250077VO2,0 (3,0)Grundbegriffe der mathematischen LogikMLOMoritz MüllerMi 9:45-11:15
Beginn: 2015-03-04
HS2Deutsch
250078UE1,0 (2,0)Übungen zu "Grundbegriffe der mathematischen Logik"MLOLyubomyr ZdomskyyMi 11:30-12:15
Beginn: 2015-03-04
HS2Deutsch
250125VO3,0 (5,0)Axiomatische Mengenlehre 1MLOMLyubomyr ZdomskyyMo 10:00-12:20
Beginn: 2015-03-09
KGRCEnglisch
250126PS2,0 (3,0)Proseminar zu "Axiomatische Mengenlehre 1" Anda-Ramona TanasieMi 9:45-11:15
Beginn: 2015-03-11
KGRCEnglisch
250131VO2,0 (3,0)Berechenbarkeit und KomplexitätMLOVMoritz MüllerDi 16:00-17:30
Beginn: 2015-03-10
KGRCEnglisch
250130VO2,0 (4,0)Ausgewählte Kapitel aus der MengenlehreMLOVSy-David FriedmanDi, Do 14:00–15:00
Beginn: 2015-03-03
KGRCEnglisch
250128SE2,0 (4,0)Seminar (Mathematische Logik)MLOSSy-David FriedmanMo, Mi 14:00–15:00
Beginn: 2015-03-02
KGRCEnglisch
250127SE2,0 (4,0)Forschungsseminar aus der Mathematischen LogikMLOSSy-David FriedmanDo 16:00–18:00
Beginn: 2015-03-05
KGRCEnglisch

Inhalte der Lehrveranstaltungen

Ausgewählte Kapitel aus der Mengenlehre

Zeit: Di, Do 14:00–15:00
Beginn: 2015-03-03
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"

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: 2015-04-08, 22:00.