1
Finite Model Theory
Lecture 7
Complexity of FO (cont’d)