Universität Wien

250100 VO Axiomatic set theory 1 (2018S)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

Details

Sprache: Englisch

Prüfungstermine

Lehrende

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

  • Donnerstag 01.03. 11:30 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 08.03. 11:30 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 15.03. 11:30 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 22.03. 11:30 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 12.04. 11:30 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 19.04. 11:30 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 26.04. 11:30 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 03.05. 11:30 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 17.05. 11:30 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 24.05. 11:30 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 07.06. 11:30 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 14.06. 11:30 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 21.06. 11:30 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 28.06. 11:30 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

This lecture will be an introduction to set theory, in particular to independence proofs. The goal is to establish the independence of the continuum hypothesis. We will start from the ZFC axioms and introduce ordinals and cardinals. Then we will define Gödel's constructible universe L and show that it is a model of ZFC and GCH, the generalized continuum hypothesis. Furthermore, we will introduce measurable cardinals and show that they cannot exist in L. If time allows, we will discuss variants L[U] of L which allow the existence of a measurable cardinal. Finally, we will introduce Cohen's forcing technique and show that there is a model of ZFC in which the continuum hypothesis does not hold.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Oral exam by appointment, no material allowed during the exam. Possible dates for the exam can be found here: https://muellersandra.github.io/teaching/axiomatic-set-theory-sose-2018/

Mindestanforderungen und Beurteilungsmaßstab

See above. To take the oral exam it is necessary to enroll in the class by filling your name in the "Teilnehmerliste" within the first two weeks of the semester.

Prüfungsstoff

All contents of the lectures.

Literatur

See webpage https://muellersandra.github.io/teaching/axiomatic-set-theory-sose-2018/

Zuordnung im Vorlesungsverzeichnis

MLOM

Letzte Änderung: Fr 18.11.2022 00:23