Linguaggi e strutture del primo ordine. Completezza e compattezza. Modelli saturi. Modelli primi. Eliminazione dei quantificatori. Model-completezza. Teorema di Beth. Teorema di interpolazione di Craig. Strutture stabili. Strutture o-minimali. Strutture geometriche. Dimensione. Rango di Morley. Indiscernibili. Teorema di Morley. Teorie decidibili e indecidibili. Elementi immaginari. 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

http://www.dm.unipi.it/~berardu/