English Ehrenfeucht–Fraïssé game Cited by user Jarble on 26 Aug 2019 In the mathematical discipline of model theory, the Ehrenfeucht–Fraïssé game (also called back-and-forth games) is a technique for determining whether two structures are…