Scheda programma d'esame
MODEL THEORY
ALESSANDRO BERARDUCCI
Academic year2019/20
CourseMATHEMATICS
Code213AA
Credits6
PeriodSemester 1
LanguageItalian

ModulesAreaTypeHoursTeacher(s)
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

Updated: 06/09/2019 14:12