1
Finite Model Theory
Lecture 4
Ordered Structures, Gaifman’s
Theorem