ECTS - University of Pisa
| Modules | Area | Type | Hours | Teacher(s) | |
| TEORIA DEI MODELLI/a | MAT/01 | LEZIONI | 42 |
|
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. 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
