Modelltheorie I - Wintersemester 2023/24

Personen

• Dozent: Prof. Immanuel Halupczok (Sprechzeiten: nach Vereinbarung)
• Übungen: Hamed Khalilian

Aktuelle Materialien

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

Neuigkeiten

• Am 6.12. fällt die Vorlesung aus. (29.11.)
• Am 3.11. fällt die Vorlesung aus (wegen Krankheit). Es gibt in dieser Woche auch kein neues Übungsblatt, und die Abgabefrist von Blatt 3 wurde um eine Woche verlängert. (2.11.)
• Die Übung findet Donnerstags um 8:30 in Raum 25.22.03.73 statt. (Erster Übungstermin am 19.10.) (11.10.)

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

Do, 8:30-10:30 Uhr, Raum 25.22.03.73
Beginn der Übungen in der 2. Semesterwoche.
Anmeldung: nicht nötig.
LSF-Seite zu den Übungen

Übungsblätter

Es wird jeden Freitag ein Übungsblatt auf diese Webseite gestellt, das innerhalb einer Woche zu bearbeiten ist. Übungsblätter können alleine oder zu zweit bearbeitet werden. Abgabe entweder in der Vorlesung oder über's Ilias, spätestens um 10:30 Uhr.

• Übungsblatt 1
• Übungsblatt 2
• Übungsblatt 3
• Übungsblatt 4
• Übungsblatt 5
• Übungsblatt 6
• Übungsblatt 7
• Übungsblatt 8
• Übungsblatt 9
• Übungsblatt 10
• Übungsblatt 11
• Übungsblatt 12
• Übungsblatt 13

Prüfung

Um die Leistungspunkte für das Modul zu erhalten, müssen Sie eine mündliche Prüfung bestehen. Um an der Prüfung teilnehmen zu können, brauchen Sie die Zulassung, die sie bekommen, wenn Sie 50% der Übungsaufgaben gelösen.

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.