Seminar Modelltheorie in stetiger Logik

Sommersemester 2020


Dozent:
Prof. Immanuel Halupczok (Sprechzeiten: nach Vereinbarung)

Termine:
Di, 10:30-12:00, Raum 25.22.00.81 webex-Meeting
(Link zum LSF)
1. Vorbesprechung: Di, 28.1., Raum 25.22.03.73
2. Vorbesprechung: Di, 7.4., 10:30-12:00, Raum 25.22.00.81 (d.h. am ersten Termin des Seminars)

Ablauf:
Die Seminarteilnehmer*innen werden gemeinsam eine Einführungsarbeit zu stetiger Logik schreiben. Dabei wird jede*r für einen Abschnitt die Hauptverantwortung übernehmen. Soweit möglich wird auch die Gesamtplanung der Arbeit von den Seminarteilnehmer*innen übernommen. Ich stehe jedoch jederzeit zur Verfügung für Fragen, Unterstüzung, etc.

Organisatorisches:
Im Moment gibt es:
Voraussetzungen:
Modelltheorie
Anmeldung:
Wenn Sie auch noch teilnehmen möchten, kontaktieren Sie mich spätestens bis zum 27.4. per Mail.

Themen / Planung

Im Folgenden ist eine Liste mit Themenvorschlägen. Die Kapitel-Angaben beziehen sich auf die Hauptquelle, nämlich
Ben Yaacov, Berenstein, Henson, Usvyastov: Model theory for metric structures
In den meisten Kapiteln gibt es relativ wenig Beispiele. Schön wäre es, wenn Sie selbst Beispiele angeben, z.B. Hilberträume (siehe Kap. 15).
Verantwortlich für den Inhalt: Prof. Immanuel Halupczok     ♦     Impressum     ♦     Datenschutz     ♦     Kontakt