104.647 AKLOG Mengenlehre Einführung in Forcing

2023W, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage grundlegende Methoden der Mengenlehre wie Ordinalzahlen und Kardinalzahlen anzuwenden und mit der Forcing Methode zum Beispiel die Unabhängigkeit der Kontinuumshypothese zu beweisen.

Inhalt der Lehrveranstaltung

Dense sets, filters, forcing partial orders, generic filters, names, the forcing theorems, the independence of the Continuum Hypothesis.

Methoden

Vorlesung kombiniert mit Übungsaufgaben.

Prüfungsmodus

Mündlich

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.10:00 - 12:0003.10.2023 - 23.01.2024 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
AKLOG Mengenlehre Einführung in Forcing - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.03.10.202310:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
Di.10.10.202310:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
Di.17.10.202310:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
Di.24.10.202310:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
Di.31.10.202310:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
Di.07.11.202310:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
Di.14.11.202310:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
Di.21.11.202310:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
Di.28.11.202310:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
Di.05.12.202310:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
Di.12.12.202310:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
Di.19.12.202310:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
Di.09.01.202410:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
Di.16.01.202410:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing
Di.23.01.202410:00 - 12:00 Dissertantenzimmer, Freihaus, grüner Turm, 8.Stock, Raumnr. DA08B19Einführung in Forcing

Leistungsnachweis

Präsentation von Übungsaufgaben während des Kurses sowie mündliche Prüfung am Ende.

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
No records found.

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Grundlegende Kenntnisse in Logik.

Sprache

Englisch