# 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: