Math 512: Finite Model Theory

The course will address basic issues in finite model theory: Ehrenfreuht-Fraisse games, descriptive complexity theory, $0-1$-laws. The background text is Finite Model Theory by Ebbinghaus and Flum. Notes by Vanaanen will be made available. Problems sets will be assigned during the semester. There is a major problem list at Finite Model Theory Home Page

Course Details: