Logica Matematica MAT/01

Le ricerche svolte in questo settore hanno carattere interdisciplinare con connessioni sia con altre discipline matematiche sia con aspetti dell'informatica, della filosofia e della didattica, e riguardano soprattutto la teoria dei modelli e le sue applicazioni algebrico-geometriche, l'analisi non-standard, la combinatoria dei numeri, la teoria degli insiemi, la complessità computazionale. 

Persone
Alessandro Berarducci
Mauro Di Nasso
Marco Forti
Marcello Mamino

Teoria dei modelli (Berarducci, Mamino)
o-minimalità, stabilità, gruppi definibili.  derivazioni su campi valutati, Campi di Hardy, campi di serie formali, transserie, numeri surreali. 

Teoria degli insiemi, Fondamenti (Di Nasso, Forti)
Ultrafiltri, metodi non-standard, Teoria di Ramsey, teoria combinatoria dei numeri, gruppi amenabili, densita' asintotica, insiemi sindetici a tratti, Fondamenti della Matematica, Biologia teorica.

Connessioni con l'informatica (Mamino, Berarducci)
Complessità, lambda-calcolo.

Progetti di ricerca:

-PRIN 2012, "Logica, Modelli e Insiemi"
Coordinatore scientifico nazionale: TOFFALORI Carlo (Univ. di Camerino)
Responsabile scientifico dell'unità di Pisa: BERARDUCCI Alessandro  
Ente finanziatore: MIUR
Decorrenza: 08/03/2014 - 08/03/2017, prorogato al 08/03/2018