Ehrenfeucht–Fraïssé-Game

Ein Zwei-Spieler-Kombinationsspiel auf einem Paar relationaler Strukturen, bei dem ein Spieler (Spoiler) versucht, einen Unterschied zu zeigen, und der andere (Duplicator) versucht, eine partielle Isomorphie zu erhalten; existiert für den Duplicator eine Gewinnstrategie in k Runden, so charakterisiert das die Ununterscheidbarkeit durch erste-Ordnung-Formeln mit Quantorrang ≤ k.