Lehrveranstaltungen Sommersemester 2014
(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.
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
250080 | VO | 2 (3,0) | Grundbegriffe der mathematischen Logik | MLO | Moritz Müller | Mi 15:00-17:00 Beginn: 2014-03-05 | HS13 | Deutsch |
250081 | UE | 1 (2,0) | Übungen zu Grundbegriffe der mathematischen Logik | MLO | Ekaterina Fokina | Do 13:00-14:00 Beginn: 2014-03-06 | SR12 | Deutsch |
250082 | VO | 3 (5,0) | Axiomatische Mengenlehre 1 | MLOM | Jakob Kellner | Fr 9:30-12:00 Beginn: 2014-03-07 | KGRC | Deutsch; Englisch möglich nach Vereinbarung |
250083 | PS | 2 (3,0) | Proseminar zu "Axiomatische Mengenlehre 1" | MLOM | Lyubomyr Zdomskyy | Mi 8:30-10:05 Beginn: 2014-03-19 | KGRC | Deutsch; Englisch möglich nach Vereinbarung |
250087 | VO | 2 (3,0) | Berechenbarkeit und Komplexität | MLOV | Moritz Müller | Mo 16:30-18:00 Beginn: 2014-03-10 | KGRC | Englisch möglich nach Vereinbarung |
250088 | VO | 2 (3,0) | Modelltheorie | MLOV | Martin Koerwien | Di 15:45-17:15 Beginn: 2014-03-04 | KGRC | Englisch möglich nach Vereinbarung |
250086 | VO | 2 (4,0) | Ausgewählte Kapitel aus der Mengenlehre | MLOV | Sy-David Friedman | Di, Do 14:00-15:00 Beginn: 2014-03-04 | KGRC | Englisch |
250085 | PJ+SE | 2 (4,0) | Projektseminar (Mathematische Logik) | MLOS | Sy-David Friedman | Mo, Mi 14:00-15:00 Beginn: 2014-03-03 | KGRC | Englisch |
250084 | SE | 2 (4,0) | Forschungsseminar aus der Mathematischen Logik | MLOS | Sy-David Friedman | Do 16:00-18:00 Beginn: 2014-03-06 | KGRC | Englisch |
Orte
HS13: Hörsaal 13, Oskar-Morgenstern-Platz 1, 1090 Wien
SR12: Seminarraum 12, Oskar-Morgenstern-Platz 1, 1090 Wien
KGRC: Seminarraum des Kurt Gödel Research Centers, Zimmer O2.101, Währinger Straße 25, 1090 Wien
Inhalte der Lehrveranstaltungen
Ausgewählte Kapitel aus der Mengenlehre
Zeit: Di, Do 14:00-15:00
Beginn: 2014-03-04
Diese Lehrveranstaltung wird auf Englisch abgehalten.
This course will focus on cardinal characteristics for uncountable regular cardinals. This is a relatively new subject with many interesting open questions. There are at least four motivations for pursuing this topic: It fuels the search for new iterated forcing methods using uncountable support, it interacts in interesting ways with large cardinal theory, the global behaviour of cardinal characteristics gives rise to the study of "internal consistency" in set theory and it provides a context where analogues of unsolved problems for the standard cardinal characteristics may be solved (for example Roitman's problem). We'll look at the dominating and bounding numbers, the almost disjointness number, the uniformity number and the splitting number for uncountable regular cardinals, touching on work of Cummings-Shelah, Blass-Hyttinen-Zhang, Garti-Shelah, Ben-Neria and joint work of mine with Honzik, Ondrejovic, Thompson and Zdomskyy.
Projektseminar (Mathematische Logik)
Zeit: Mo, Mi 14:00-15:00
Beginn: 2014-03-03
Diese Lehrveranstaltung wird auf Englisch abgehalten.
In diesem Projektseminar 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: 2014-03-06
Diese Lehrveranstaltung wird auf Englisch abgehalten.
Dies ist ein fortgeschrittenes Seminar in Mathematischer Logik für Doktoranden und PostDocs.
Module
MLO - 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"