250104 VO Advanced topics in mathematical logic (2017S)

4.00 ECTS (2.00 SWS), SPL 25 - Mathematik

Details

Sprache: Englisch

Prüfungstermine

Freitag 09.06.2017

Lehrende

Sy-David Friedman

Termine (iCal) - nächster Termin ist mit N markiert

    
    Donnerstag
    02.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Dienstag
    07.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    09.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Dienstag
    14.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    16.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Dienstag
    21.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    23.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Dienstag
    28.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    30.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Dienstag
    04.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    06.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Dienstag
    25.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    27.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Dienstag
    02.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    04.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Dienstag
    09.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    11.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Dienstag
    16.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    18.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Dienstag
    23.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Dienstag
    30.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    01.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    08.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Dienstag
    13.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Dienstag
    20.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    22.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Dienstag
    27.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    29.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

The Hyperuniverse

The Hyperuniverse is the collection of all countable transitive models of ZFC. This course is devoted to the mathematical study of the structure of the Hyperuniverse, which entails numerous issues in forcing, definability, large cardinals, determinacy and infinitary logic.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Literatur

The course notes will be distributed in lecture.

Zuordnung im Vorlesungsverzeichnis

MLOV

Topics courses logic

25.3. Master Mathematics ➡ 3.6. Mathematical logic and theoretical computer science

Letzte Änderung: Fr 18.11.2022 00:23