10
Ehrenfeucht-Fraisse Games
•
Theorem
The following two are equivalent:
1.
A
and
B
agree on FO[k]
2.
A
º
k
B
3.
A
'
k
B
•
•
Proof
2
,
3 is straightforward
•
1
,
3 in class
•