videolezione 02
La nozione di equivalenza elementare.
La nozione di sottostruttura elementare.
La nozione di immersionene e di isomorfismo.
Teorema: gli isomorphismi mappano insiemi definibili nei corrispondenti insiemi definibili.
Corollario: strutture elementari sono elementarmente equivalenti.
Un semplice esempio di sottostrutture elementari.