Die Arbeitsgruppe Mathematische Logik, Mengenlehre und Modelltheorie

Die Arbeitsgruppe besteht seit dem Wintersemester 2010 und gründete sich als ein loser Zusammenschluss von Mitgliedern des ehemaligen Forschungsschwerpunkts reelle Geometrie und Algebra mit Interesse an Modelltheorie.

Im Wintersemester 2010 beschäftigten wir uns vorallem mit den Themen "Definierbare Bewertungen" und "Abhängige Körper".

Seit dem Sommersemester 2011 findet ein Oberseminar Modelltheorie statt, dass eine Plattform für Vorträge im Bereich Modelltheorie und damit verwandten Themen bieten soll. Seit dem Sommersemester 2018 tragen die Arbeitsgruppe und das Oberseminar den Namen "Mathematische Logik, Mengenlehre und Modelltheorie" und behandeln auch Themen aus den Bereichen der Logik und Mengenlehre.

Mitglieder

Ehemalige Mitglieder