Modelltheorie I - Wintersemester 2023/24

Personen

• Dozent: Prof. Immanuel Halupczok (Sprechzeiten: nach Vereinbarung)
• Organisation der Übungen: tba

Aktuelle Materialien

• Kurzskript zur Vorlesung und Version mit breitem Rand (für Notizen) (letzte Änderung: 4.10., 18:29)
• (Es gibt noch kein Übungsblatt.)
• (Es gibt noch keine Lösungsvorschläge.)

Neuigkeiten

• Diese Seite befindet sich noch im Aufbau... (11.09.)

Veranstaltungen

Vorlesung

Mi, 12:30-14:30, Raum 25.22.00.81
Fr, 10:30-12:30, Raum 25.22.03.73
Anmeldung: Bitte melden Sie sich im LSF zur Vorlesung an.
LSF-Seite zur Vorlesung

Übungen

?, ?-? Uhr, Raum ?
Beginn der Übungen in ???
Anmeldung: Wird noch bekanntgegeben.
LSF-Seite zu den Übungen

Übungsblätter

tba

Prüfung

tba

Literatur

• Tent, Ziegler: A Course in Model Theory
• Marker: Model Theory: An Introduction
• Hodges: Model Theory

Außerdem enthält das Kurzskript zur Vorlesung die wichtigsten Definitionen, Resultate und Beispiele. Es enthält aber weder Beweise noch Erklärungen und ist nicht dafür geeignet, die Vorlesung zu ersetzen.