I giochi di Ehrenfeucht-Fraïssé nella Logica del Primo Ordine

I giochi di Ehrenfeucht-Fraïssé rappresentano un ottimo metodo per indagare l'elementare equivalenza di strutture matematiche, utilizzando i concetti intuitivi della Teoria dei Giochi. Un'importante applicazione di essi permette di stabilire l'inesprimibilità di alcune proprietà nella Logica del Primo Ordine, costituendo un'alternativa efficace a teoremi generali che nel caso di modelli finiti non possono essere applicati.