Universität Wien

250104 VO Advanced topics in mathematical logic (2020S)

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

Registration/Deregistration

Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
Register/Deregister for this course

Details

Language: English

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

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.

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

Information

Aims, contents and method of the course

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.

Assessment and permitted materials

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.

Minimum requirements and assessment criteria

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.

Examination topics

Content of the lectures.

Reading list

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

Association in the course directory

MLOV

Last modified: Mo 07.09.2020 15:21