Gioco di Ehrenfeucht-Fraïssé: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
interwiki, ordine |
mNessun oggetto della modifica |
||
Riga 1:
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.
== Organizzazione di un gioco di Ehrenfeucht–Fraïssé ==
|