Linguaggi e strutture del primo ordine. Completezza e compattezza. Modelli saturi. Modelli primi. Eliminazione dei quantificatori. Model-completezza. Strutture stabili. Strutture o-minimali. Strutture geometriche. Dimensione. Rango di Morley. Indiscernibili. Teorema di Morley. Teorie decidibili e indecidibili. Interpretazioni tra teorie. Esempi e applicazioni in teoria dei campi, degli anelli, dei gruppi, dei moduli.

Testi consigliati:

Appunti del docente.

Chang-Keisler, Teoria dei modelli.

David Marker, Model Theory: An Introduction.

Wilfrid Hodges, Model Theory.

Bruno Poizat, A Course in Model Theory,

Katrin Tent e Martin Ziegler, A Course in Model Theory.

Prova finale orale