13
Ehrenfeucht-Fraisse Games
Theorem
The following two are equivalent:
A and B agree on FO[k]
A
Ί
k
B
We will prove this next time.
For now, lets start playing the game !