15. ÖMG-Kongress
Jahrestagung der Deutschen Mathematikervereinigung

16. bis 22. September 2001 in Wien


Sektion 4 - Mathematische Logik, Theoretische Informatik
Donnerstag, 20. September 2001, 14.00, Hörsaal 46

 

Reflections on Finite Model Theory

Phokion G. Kolaitis, University of California, Santa Cruz

 

Finite model theory can be succinctly described as the study of logics on classes of finite structures. It is an area of research in the interface between logic, combinatorics, and computational complexity that has been steadily developing during the past twenty five years. In this talk, we trace the early origins of finite model theory, highlight some of the main results in this area, and conclude with certain challenging open problems.



Zeitplan der Sektion   Tagesübersicht   Liste der Vortragenden