Universität Wien

250104 VO Advanced topics in mathematical logic (2020S)

4.00 ECTS (2.00 SWS), SPL 25 - Mathematik
Moodle

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
Für diese LV an-/abmelden

Details

Sprache: Englisch

Prüfungstermine

Lehrende

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

The first 5 lectures will be held by Sandra Müller. The other 5 lectures will be held by Vera Fischer.

For information regarding home-learning please see the Moodle-page of the course.

  • Freitag 06.03. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Freitag 13.03. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Freitag 20.03. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Freitag 03.04. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Freitag 24.04. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Freitag 08.05. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Freitag 15.05. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Freitag 22.05. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Freitag 29.05. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Freitag 05.06. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

The first and second part of this class cover different material.

The first part (held by Sandra Müller) covers the basic theory of determinacy. We will introduce the concept, discuss important consequences e.g. related to descriptive set theory and, if time allows, go into the connection with large cardinal theory.

The second part (held by Vera Fischer) will focus on the notion of properness. The class of proper forcing notions is an important class of partial orders. We will consider preservation of properness, as well as the preservation of selected properties
in proper forcing iterations.

Art der Leistungskontrolle und erlaubte Hilfsmittel

To pass the class you need two positive grades, one from each part of the lecture (the part by Sandra Müller and the part by Vera Fischer). The overall grade will be the average of both grades (rounded down). Due to the switch to "home learning" for three lectures in the first part, we need to change the grading for this part of the lecture. Instead of active participation, you are now required to submit a 1-2 page summary of the five lectures until May 8, 2020 to receive a grade for the first part of the lecture. The examination for the second part of the lecture will be based on participation.

For more information regarding home-learning please see the Moodle-page of the course.

Mindestanforderungen und Beurteilungsmaßstab

It is required to attend all lectures (that take place) and actively participate in the discussions. In addition, it is required to submit a 1-2 page summary of the first five lectures until May 8, 2020.

Some knowledge of set theory will be required.

Prüfungsstoff

Content of the lectures.

Literatur

References will be published on the course webpages and mentioned in the lectures.

Zuordnung im Vorlesungsverzeichnis

MLOV

Letzte Änderung: Mo 07.09.2020 15:21