Juego de Ehrenfeucht–Fraïssé

Un juego combinatorio de dos jugadores sobre un par de estructuras relacionales en el que un jugador (Spoiler) intenta mostrar una diferencia y el otro (Duplicator) intenta preservar una casi-isomorfía parcial; la existencia de una estrategia ganadora para Duplicator en k rondas caracteriza la indistinguibilidad por fórmulas de primer orden de rango de cuantificadores ≤ k.