Modelltheorie II - Sommersemester 2024

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: 29.4., 12:11)
• Übungsblatt 3 (Achtung: Am Montag wurden Fehler in Aufg. 1 und 3 korrigiert.)
• Lösungsvorschlag zu Blatt 1

Neuigkeiten

• Die Übungsgruppe wurde jetzt ein bisschen vorverlegt und beginnt schon um 15:45 Uhr.... normalerweise. Am 16.4. beginnt sie ausnahmsweise um 16:00 Uhr. Und in der Woche vom 23.4. wird sie auf einen anderen Tag verlegt. (11.04.)

Veranstaltungen

Vorlesung

Mo, 10:30-12:30, Raum 25.22.03.73
Do, 10:30-12:30, Raum 25.22.03.73
Anmeldung: Bitte melden Sie sich im LSF zur Vorlesung an.
LSF-Seite zur Vorlesung

Übungen

Di, 15:45-17:15 Uhr, Raum 25.22.00.81
Aber am 16.4. ausnahmsweise 16:00-17:30 Uhr
Beginn der Übungen in der 2. Vorlesungswoche.
Anmeldung: nicht nötig.
LSF-Seite zu den Übungen

Übungsblätter

Es wird jeden Donnerstag 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 - (Lösungsvorschlag)
• Übungsblatt 2
• Übungsblatt 3 (Achtung: Am Montag wurden Fehler in Aufg. 1 und 3 korrigiert.)

Prüfung

tba

Literatur

• A. Engler, A. Prestel: Valued fields
• Z. Chatzidakis: Théorie des modèles des corps valués. (Vorlesungsskript auf französisch.)
• J. Flenner:Relative decidability and definability in Henselian valued fields. (Artikel)
• van den Dries: Lectures on the Model Theory of Valued Fields. (Ein Kapitel aus dem Buch Model Theory in Algebra, Analysis and Arithmetic.)

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.