10
Pebble Games
•
Theorem
•
A, B
2
STRUCT[
s
] agree on all sentences
of L
k
1
,
w
of qr
·
n iff A
º
1
w
k,n
B
•
A, B
2
STRUCT[
s
] agree on all sentences
of L
k
1
,
w
iff A
º
1
w
k
B
•
•
Proof next time.
For today we will assume
the theorem to be true
•