CdSMATEMATICA
Codice213AA
CFU6
PeriodoPrimo semestre
LinguaItaliano
Lo studente avrà acquisito al termine del corso le tecniche base della teoria dei modelli
Esame finale orale
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