104.452 AKLOG: Forcing
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2015W, VO, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung

Ziele der Lehrveranstaltung

Die Studierenden werden mit der "Forcing"-Methode in der Mengenlehre vertraut gemacht.  

Inhalt der Lehrveranstaltung

ZFC-Modelle, partielle Ordungen und vollständige Boolesche Algebren als Forcing-Begriffe, Unabhängigkeit der Kontinuumshypothese.   Weitere Themen je nach Interesse der Hörer:  Iteriertes Forcing, das Martinsche Axiom, das  Solovay-Modell.

 

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.16:00 - 17:0006.10.2015Sem.R. DA grün 05 Vorbesprechung
Do.09:30 - 11:0012.11.2015 - 28.01.2016Sem.R. DA grün 04 Forcing Donnerstag
AKLOG: Forcing - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.06.10.201516:00 - 17:00Sem.R. DA grün 05 Vorbesprechung
Do.12.11.201509:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Do.19.11.201509:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Do.26.11.201509:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Do.03.12.201509:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Do.10.12.201509:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Do.17.12.201509:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Do.07.01.201609:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Do.14.01.201609:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Do.21.01.201609:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Do.28.01.201609:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
860 GW Gebundene Wahlfächer - Technische Mathematik Keine Angabe

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Deutsch