Ho pubblicato il quarto gruppo di esercizi.
In una domanda compare l'espressione "T has elimination of quantifiers"
All'ultima lezione ho dimenticato di dare la definizione.
Prendete come definizione la condizione 2 del teorema 7.14:
- every partial isomorphism between models of T is an elementary map