104.623 AKLOG Mengenlehre: Konstruierbarkeit
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2023S, VO, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage die Konsistenz des Auswahlaxioms und der allgemeinen Kontinuumshypothese mit Hilfe von Gödels konstruierbarem Universum L zu beweisen.

Inhalt der Lehrveranstaltung

Dies ist eine einführende Vorlesung in der Mengenlehre. Wir werden die ZFC Axiome, Ordinalzahlen und Kardinalzahlen wiederholen und Gödels konstruierbares Universum L einführen. Dann werden wir beweisen, dass in L das Auswahlaxiom gilt und die allgemeine Kontinuumshypothese. Im Anschluss besprechen wir Erweiterungen, z.B. HOD oder L[U].

Methoden

Tafelvortrag, unterstützt durch ein Skriptum. Beantwortung von Fragen, die von Studierenden gestellt werden.

Prüfungsmodus

Mündlich

Weitere Informationen

Die Vorlesung beginnt am 03.03.2023. Bei Fragen, melden Sie sich gerne im Vorfeld per Email bei der LV Leiterin.

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.12:15 - 13:4503.03.2023 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
Fr.12:15 - 13:4510.03.2023 - 23.06.2023 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
AKLOG Mengenlehre: Konstruierbarkeit - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.03.03.202312:15 - 13:45 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
Fr.10.03.202312:15 - 13:45 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
Fr.17.03.202312:15 - 13:45 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
Fr.24.03.202312:15 - 13:45 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
Fr.31.03.202312:15 - 13:45 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
Fr.21.04.202312:15 - 13:45 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
Fr.28.04.202312:15 - 13:45 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
Fr.05.05.202312:15 - 13:45 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
Fr.12.05.202312:15 - 13:45 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
Fr.26.05.202312:15 - 13:45 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
Fr.02.06.202312:15 - 13:45 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
Fr.09.06.202312:15 - 13:45 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
Fr.16.06.202312:15 - 13:45 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit
Fr.23.06.202312:15 - 13:45 Dissertantenraum, Freihaus, grüner Turm, 8.StockMengenlehre: Konstruierbarkeit

Leistungsnachweis

Mündliche Prüfung nach Terminvereinbarung.

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
860 GW Gebundene Wahlfächer - Technische Mathematik Gebundenes Wahlfach

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Grundlegende Kenntnisse in mathematischer Logik sind nützlich, aber nicht notwendig.

Sprache

bei Bedarf in Englisch