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

ModuliSettoreTipoOreDocente/i
TEORIA DEI MODELLIMAT/01LEZIONI42
ALESSANDRO BERARDUCCI unimap
MARCELLO MAMINO unimap
Programma non disponibile nella lingua selezionata
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. 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.

 

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

Ultimo aggiornamento 06/09/2019 14:12