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, let’s start playing the game !