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

In [[teoria dei modelli]], i '''giochi di Ehrenfeucht–Fraïssé''' sono un metodo [[matematico]] per trattare alcune forme di equivalenza tra strutture e ad esempio per confutare l'[[equivalenza elementare]] di due strutture (ovvero il fatto che in una delle due siano o no vere tutte e sole le [[formula chiusa|formule chiuse]] del [[linguaggio del primo ordine|primo ordine]] che sono vere nell'altra).