Lehrveranstaltungen des aktuellen Semesters

Mengenlehre und mathematische Logik (VL)

unbekannte Lehrperson

Vorlesung

Beschreibung:

Grundbegriffe der Mathematischen Logik und Modelltheorie
Syntax & Semantik der Prädikatenlogik der ersten Stufe
Gödelscher Vollständigkeitssatz & Kompaktheitssatz
Löwenheim-Skolem-Sätze

Grundbegriffe der Mengenlehre & Zermelo-Fraenkel Axiome
Ordinalzahlen & Kardinalzahlen
Auswahlaxiom & seine Äquivalenzen