Scheda programma d'esame
TEORIA DEI MODELLI
ALESSANDRO BERARDUCCI
Anno accademico2016/17
CdSMATEMATICA
Codice213AA
CFU6
PeriodoPrimo semestre
LinguaItaliano

ModuliSettoreTipoOreDocente/i
TEORIA DEI MODELLI/aMAT/01LEZIONI42
ALESSANDRO BERARDUCCI unimap
Obiettivi di apprendimento
Conoscenze

Lo studente avrà acquisito al termine del corso le tecniche base della teoria dei modelli

Modalità di verifica delle conoscenze

Esame finale orale

Programma (contenuti dell'insegnamento)

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.

 

Bibliografia e materiale didattico

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.

Modalità d'esame

Prova finale orale

Pagina web del corso

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

Ultimo aggiornamento 07/09/2016 16:06