Lehrveranstaltungen Wintersemester 2010-2011
- Note: All lectures at the KGRC (apart from Grundbegriffe der Mathematischen Logik VO + UE) are given in English, or at least can be given in English if requested.
- Hinweis: Alle Lehrveranstaltungen am KGRC (ausser den Grundbegriffen der Mathematischen Logik VO + UE) werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden.
Siehe auch das Vorlesungsverzeichnis der Universität Wien für die drei relevanten Studiengänge in Mathematik: Bachelor • Diplom • Master.
| Nummer Number |
Typ Type |
WSt (ECTS) | Titel Title |
Modul | Vortragende Lecturer |
Zeit (pünktl.) Time |
Sprache Language |
|---|---|---|---|---|---|---|---|
| 250123 | VO | 4 (6,0) | Einführung in die Mathematische Logik | MLOL | Hans Adler | see webpage. | Deutsch (English on demand) |
| 250124 | UE | 2 (3,0) | Proseminar zur Einführung in die Mathematische Logik | MLOL | Jakob Kellner | see webpage | |
| 250125 | VO | 2 (3,0) | Axiomatische Mengenlehre 2 | MLOM | Jakob Kellner | see webpage | |
| 250126 | VO | 2 (4,0) | Ausgewählte Kapitel aus der Math. Logik | MLOV | Sy-David Friedman | Di 14:00-15:00 Do 14:00-15:00 starts 2010-10-12 | English |
| 250127 | SE | 2 (4,0) | Seminar aus der Mathematischen Logik | MLOS | Sy-David Friedman | Mo 14:00-15:00 Mi 14:00-15:00 starts 2010-10-11 | |
| 250128 | SE | 2 (4,0) | Forschungsseminar | MLOS | Sy-David Friedman | Do 16:00-17:30 starts 2010-10-14 |
Inhalte der Lehrveranstaltungen
Ausgewählte Kapitel aus der Math. Logik
Zeit: Di und Do 14:00-15:00
Beginn: 2010-10-12
Time: TUE and THU 14:00-15:00
starts 2010-10-12
The Higher Descriptive Set Theory of Isomorphism
This course is based on joint work with Hyttinen and Kulikov. We discuss the descriptive set theory of the generalised Baire space kappa^kappa, kappa an uncountable regular cardinal, and introduce a notion of Borel reducibility for equivalence relations on this space. Then we apply this theory to study isomorphism relations on the uncountable models of a first-order theory. This work thereby relates two ways of classifying theories, one via Shelah's stability theory and the other via set theory. On the set theory side we'll use forcing and some elementary properties of Gödel's L; on the model theory side we'll need some of Shelah's "main gap" analysis, which will be treated in detail.
Seminar aus der Mathematischen Logik
Zeit: Mo und Mi 14:00-15:00
Beginn: 2010-10-11
Time: MON and WED 14:00-15:00
starts 2010-10-11
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).
In this Seminar, students give talks about advanced topics in mathematical Logic. Intended mainly for students writing their Diploma-, Master- or PhD thesis at the KGRC.
Forschungsseminar aus der Mathematischen Logik
Zeit: Do 16:00 - 17:30
Beginn: 2010-10-14
This is an advanced seminar in mathematical logic for doctoral and postdoctoral researchers.
Module
MLOL - Mathematische Logik
MLOM - Axiomatische Mengenlehre
MLOS - Seminare: Mathematische Logik und theoretische Informatik
MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik"
+43-1-4277-50501.
Last updated: 2011-07-02, 23:42.