MENGENLEHRE & LOGIK II
Vorlesung: Dienstag & Donnerstag, 10 - 12 Uhr (Kleiner Hörsaal)
Sprechstunde von Prof.Dr.Koepke: Dienstag, 12:30 - 13:30 Uhr
Sekretariat: Frau Lange (Be4Zi27, Montag - Freitag, 8 - 14 Uhr, lange (at) math.uni-bonn.de)
Zuständige Mitarbeiter für den Übungsbetrieb:
- Manfred Burghardt (manfred (at) math.uni-bonn.de),
Be4Zi34, Phone 73-3793; Sprechstunde: Dienstag 12:30 - 13:30 Uhr
- Benedikt
Löwe (loewe (at) math.uni-bonn.de),
Be4Zi24, Phone 73-2928
Übungsgruppenleiter:
- Matthias Enders (enders (at) math.uni-bonn.de),
Be4Zi25, Phone 73-3352; Sprechstunde: Dienstag, 12:00 - 13:30 Uhr
- Philipp Rohde (rohde (at) math.uni-bonn.de),
Be4Zi25, Phone 73-3352; Sprechstunde: Mittwoch, 12:30 - 14:00 Uhr
Übungen:
- Montag 16 - 18 Uhr, SR B, Übungsgruppenleiter: Matthias
Enders
- Mittwoch 16 - 18 Uhr, SR F, Übungsgruppenleiter: Philipp
Rohde
Übungsblätter:
Fragen jeder Art (organisatorische und inhaltliche) können in der
Logik-Newsgroup uni-bonn.math.logik
gestellt werden.
SS 2001
-
Topologie und Maßtheorie
-
Topologische und metrische Räume
-
Die Produkttopologie, Baire und Cantorraum
-
Bäume
-
Polnische Räume
-
Perfekte Mengen
-
sigma-Algebren und sigma-Ideale
-
Die Baire-Eigenschaft
-
Der Satz von Kuratowski-Ulam
-
Die Borel-Hierarchie
-
Analytische Mengen
-
Das Auswahlaxiom
-
Die Projektive Hierarchie
-
Das Kunen-Martin Theorem
-
Spiele
-
Mathematisierung von Spielen
-
Ehrenfeucht-Fraïssé-Spiele
-
Das Banach-Mazur Spiel
-
Das perfekte Spiel
-
Determiniertheit und der Satz von Gale und Stewart
-
Logic meets Set Theory: Formeln, Maschinen und Codes
-
Turing-Maschinen und Rekursivität
-
Grundlagen der Rekursionstheorie
-
Die Levy-Hierarchie der Formeln
-
Die arithmetische und analytische Hierarchie
-
Codes für Ordnungen
-
Baumrepräsentationen für Pi11 Mengen
-
Der Satz von Kondô
-
Das Beschränktheitslemma
-
Kripke-Platek Mengenlehre
-
Zulässigkeit