1 paper
Sophie Brinke, Erich Grädel, Lovro Mrkonjić
Ehrenfeucht-Fraïssé games provide a fundamental method for proving elementary equivalence (and equivalence up to a certain quantifier rank) of relational structures. We investigate…