Seminar im Wintersemester 2010/2011
Infinitäre Logik mit algebraischen Anwendungen Seminar 2-std. - ECTS: 6	Di. 14-16 (oder n.V.)	S. Kuhlmann I. Kaplan
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 Siehe auch weitere Informationen, Seminarprogramm und Kommentar zum Seminar.