MENGENLEHRE & LOGIK II
SS 2001
Auf dieser Seite finden sich stets die neuesten Informationen
über den Inhalt der Vorlesung "Mengenlehre & Logik II".
Außerdem kann man hier die PS-Files des
Skripts finden, sobald sie fertig sind. Das Skript befindet sich im
Laufe des Semesters in einem dauernden Wandel: Wir werden sicherlich
auch in den frühen Teilen des Skripts später noch
Änderungen vornehmen, und die getippten Version sind sehr weit
von einem schönen Optimalzustand entfernt. Daher informiert
die Zeile "Last Update" über die letzte
Änderung der Dateien.
The script "Set Theory & Logic II" is the intellectual property of
the people who worked on it and therefore
protected by the German copyright
law. The contents are due to Benedikt
Löwe, the preparation of the typed manuscript is due to
Marc van Eijmeren and Benedikt Löwe. Any commercial use of the
manuscript is prohibited.
- Einleitung
- § 0 Wiederholung: Ordinalzahlen & Kardinalzahlen
Skript:
[PostScript File]
(Last Update: May 3rd, 2001)
- (I) Topologie & Maßtheorie
- § 1 Grundbegriffe der Topologie & Maßtheorie
Skript:
[PostScript File]
(Last Update: May 7th, 2001)
- § 2 Topologische & Maßtheoretische Konstruktionen
Skript:
[PostScript File]
(Last Update: May 7th, 2001)
- § 3 Filterräume
Skript:
[PostScript File]
(Last Update: May 23rd, 2001)
- § 4 Konvergenz
Skript:
[PostScript File]
(Last Update: May 23rd, 2001)
- § 5 Der Cantorraum
- § 6 Eine dreiste Konvention
- § 7 Baumdarstellungen und perfekte Mengen
- § 8 Eine erste Komplexitätshierarchie: Borelmengen
- § 9 Die Sätze von Cantor-Bendixson & Hausdorff
- § 10 Projektionen und zwei Sätze von Suslin
- § 11 Die Baire-Eigenschaft
- § 12 Die projektive Hierarchie
-
(II)
Logic meets Set Theory: Formeln, Maschinen und Codes
- § 13 Turing-Maschinen & Berechenbarkeit
- § 14 Kodes für Turingmaschinen
- § 15 Rekursive Aufzählbarkeit
- § 16 Orakel
- § 17 Rechenzeit- und Speicherplatzbeschränkungen
- § 18 Formeln und Strukturen
- § 19 Die Normaldruck-Hierarchie
-
(III) Spiele
-
Grundbegriffe der Spieltheorie
-
Ehrenfeucht-Fraïssé-Spiele
-
Das Banach-Mazur Spiel
-
Das perfekte Spiel
-
Determiniertheit und der Satz von Gale und Stewart
-
Solovays Entfaltungstechnik
Last changed: July 10th, 2001