Gebiete der mathematischen Logik - WS 2007/08

Die Vorlesung Gebiete der mathematischen Logik stellt wichtige Konzepte und Resultate aus den 4 Hauptgebiete der mathematischen Logik vor:

Modelltheorie
- 4.10.-22.10.)
- Satz von Löwenheim-Skolem; Quantorenelimination; aleph0-kategorische Theorien; Typen; omitting types; elementare Untermodelle; Ultraprodukte, Ultralimes; Sätze von Robinson und Beth;
Mengenlehre
- (25.10.-19.11.)
- Modelle von ZFC; Wohlfundierte Relationen, Ordinalzahlen; Absolutheit; die Neumannsche Hierarchie; definierbare Teilmengen, das Gödelsche Universum (Unterlagen dazu: pdf); andere Axiomensysteme (NBG)
Rekursiontheorie
- (22.11.-10.12.)
- Skriptum
Beweistheorie (14.1.-28.1.)

Die Vorlesung fand im Wintersemester 2007/08