Infinitäre Logik mit Anwendungen

Seminar 2-std. - ECTS: 6

In diesem Seminar sollen die Grundlagen der Infinitärer Logik erarbeitet werden. Dabei ist der Zugang zum Thema algebraisch. Wir werden wichtige Anwendungen in der Gruppentheorie studieren.
Grundlage bildet das Kapitel: "Back and Forth through infinitary logics" von J. Barwise, in Studies in Model Theory, Band 8 im MAA, 1973.
Die Teilnehmerinnen und Teilnehmer werden bei der Ausarbeitung ihrer Vorträge durch individuelle Vorbesprechungen unterstützt.

Voraussetzungen:
Das Seminar richtet sich in erster Linie an Studierende des Hauptstudiums (5. Semester), ist aber auch für höhere Semester geeignet. Vorkenntnisse in der Logik oder Modelltheorie sind hilfreich, aber nicht erforderlich.

Zielgruppe: LA, BA, D, MA

Mitarbeit: Itay Kaplan

Zeit: Di. 14:00-16:00

Siehe auch weitere Informationen, Seminarprogramm und Kommentar zum Seminar.