ISTITUZIONI DI LOGICA MATEMATICA
Questo corso è rivolto agli studenti dei corsi di Laurea Magistrale in Matematica e nell'a.a. 2012-13 si terrà nel secondo semestre (dal 25 febbraio al 7 giugno 2013). Negli ultimi anni il corso è stato attivato ad anni alterni, quando tace il corso di Teoria degli Insiemi.
Il corso mira a introdurre gli studenti ad alcuni argomenti e tecniche della logica contemporanea, scelti sia per il loro interesse intrinseco che per le loro connessioni con altre parti della matematica. Verranno sviluppati alcuni degli argomenti introdotti nel corso di Logica Matematica della laurea triennale e in particolare verranno approfondite la teoria dei modelli e la teoria della ricorsività.
Testi consigliati:
A. Marcja, C. Toffalori, A guide to classical and modern model theory, Kluwer, 2003.
R. Soare, Recursively enumerable sets and degrees, Springer, 1987.
Esami: colloquio orale. Durante il corso vengono assegnati esercizi a scadenza settimanale.