1
Finite Model Theory
Lecture 13
FO
k
, L
k
1
,
w
,L
w
1
,
w
,
and Pebble Games