Gebiete der mathematischen Logik - WS 2010/11
Die Vorlesung Gebiete der mathematischen Logik
stellt wichtige Konzepte und Resultate aus den 4 Hauptgebieten
der mathematischen Logik vor:
- Modelltheorie (Goldstern)
- (Eine Auswahl aus den folgenden Themen: Satz von Löwenheim-Skolem; Quantorenelimination; aleph0-kategorische Theorien; Typen; omitting types; elementare Untermodelle; Ultraprodukte,
Ultralimes; Sätze von Robinson, Craig und Beth)
- Mengenlehre (Goldstern)
- Modelle von ZFC; Wohlfundierte Relationen, Ordinalzahlen, Kardinalzahlen; transfinite Rekursion; der Mostowski-Kollaps; Absolutheit; die Neumannsche Hierarchie; definierbare Teilmengen, das Gödelsche Universum (Unterlagen dazu: pdf); andere Axiomensysteme (NBG)
- Rekursiontheorie (Baaz)
- Beweistheorie (Baaz)
Termine: Siehe
TISS.
Erstmalig hat diese LVA im WS 2007/08 stattgefunden.