Albert-Ludwigs-Universität Freiburg
Mathematische Fakultät
Logo Institut für mathematische Logik
und Grundlagen der Mathematik
Universitätssiegel


J. Flum, M. Ziegler

Seminar über endliche Modelltheorie

Wintersemester 2001/2001
Do 8-10
SR 318, Eckerstraße 1

Gegenstand des Seminars ist in erster Linie die Arbeit von L. Libkin

Embedded Finite Models and Constraint Databases.

Voraussetzung für die Teilnahme sind Grundkenntnisse in Modelltheorie.

Wir bitten Studierende, die sich für das Seminar interessieren, sich mit einem der Veranstalter in Verbindung zu setzen.


26. September 2001