Gioco di Ehrenfeucht-Fraïssé: differenze tra le versioni

In [[teoria dei modelli]], i giochi di Ehrenfeucht–Fraïssé sono un metodo [[matematico]] per determinare se due [[Struttura (matematica)|strutture]] sono o no [[equivalenza elementare|elementarmente equivalenti]], ovvero se in una sono vere tutte e sole le [[formula chiusa|formule chiuse]] del [[linguaggio del primo ordine|primo ordine]] che sono vere nell'altra.