Seminar "Infinitäre Logik mit Anwendungen" im Wintersemester 2010/2011 Prof. Dr. Salma Kuhlmann Dr. Itay Kaplan Description of the course in German: Termin: Dienstag, 14-16 Uhr (M631) Beginn: Dienstag, 19. Oktober 2010 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 Description of the course in English: Day and time: Tuesday, 14:00-16:00 (M631) Starting date: Tuesday, 19th October 2010 This seminar will provide the foundation of infinitary logic. Here, the approach to the subject is algebraic. We will study important applications in group theory. The basis is the chapter: "Back and Forth through infinitary logics" by J. Barwise, Studies in Model Theory, Volume 8 in the MAA, 1973. The participants are assisted in the preparation of their presentations by individual briefings. Requirements: The seminar is aimed primarily at students for advanced studies (5th semester). Prior knowledge of logic or model theory is helpful but not required. Some important files: Tentative Seminar Program. Anybody that wants the paper "Back and Forth through infinitary logics" by J. Barwise should contact Itay. Weekly speakers: Itay. Noa. Sven. Roxana. Katharina. Anselm. Michael. Lisa. Anouncements: The week of 10 - 16 / 12, the seminar is canceled. Letzte Änderung: 01. 12. 2010