1 paper · 1 filter
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…