TO BE REVISED
The research carried out in this area has interdisciplinary connections both with other mathematical disciplines and with aspects of computer science, philosophy, and education. It is mainly concerned with model theory and its algebraic-geometric applications, non-standard analysis, combinatorics of numbers, set theory, complexity theory.
lista dei postdocs
lista degli studenti di dottorato
lista dei collaboratori esterni
lista dei grants in corso
Model theory (Berarducci, Mamino)
o-minimality, stability, definable groups, Hardy’s fields, derivation, formal series fields, transseries, surreal numbers
Set theory, Foundations (Di Nasso, Forti)
Ultrafilters, non-standard methods, Ramsey theory, combinatorics of numbers, amenable groups, asymptotic density, syndetic sets, Foundations of mathematics.
Logic and computer science (Mamino, Berarducci)
-PRIN 2012, “Logic, Models and Sets”
National Scientific Coordinator: TOFFALORI Carlo (Univ. of Camerino)
Scientific Coordinator of the Pisa unit: BERARDUCCI Alessandro
Funding body: MIUR
Period: 08/03/2014 – 08/03/2018