Jeu D'Ehrenfeucht–Fraïssé

Un jeu combinatoire à deux joueurs joué sur une paire de structures relationnelles où un joueur (Spoiler) cherche à mettre en évidence une différence et l'autre (Duplicateur) cherche à préserver une quasi-isomorphie partielle ; l'existence d'une stratégie gagnante pour le Duplicateur en k tours caractérise l'indiscernabilité par les formules du premier ordre de rang quantificateur ≤ k.