1
Finite Model Theory
Lecture 3
Ehrenfeucht-Fraisse Games