Mathematical Logic – old

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. 

Members

Postdoctoral Fellows

lista dei postdocs

Ph.D. Students

lista degli studenti di dottorato

External Collaborators

lista dei collaboratori esterni

Grants

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)
Complexity, lambda-calculus.

Research Projects:

-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

Back to top