Gioco di Ehrenfeucht-Fraïssé: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Numeri reali e numeri razionali: rimasuglio di castroneria |
|||
Riga 44:
La situazione è identica (basta sostituire ovunque le "a" con "b") se l'attaccante sceglie un elemento <math>b_{k+1}</math>.
Consideriamo ora <math>(\mathbb Q, <, 0, +)</math> e <math>(\mathbb R, <, 0, +)</math>, ovvero i numeri razionali e i numeri reali visti come [[gruppo ordinato|gruppi ordinati]] con l'operazione di somma. Queste due strutture ''non'' sono più elementarmente equivalenti, e
{| border=1
| |||