Alessandro Berarducci
Full Professor
Mathematical Logic Research Group
Building A, First floor, Room 216,
L.go B. Pontecorvo, 5, 56127 Pisa (PI), Italy.
L.go B. Pontecorvo, 5, 56127 Pisa (PI), Italy.
Administrative duties
Member of:
- Collegio dei Docenti
- Commissione Terza Missione del Dipartimento
- Commissione Valutazione Dipartimento
- Consiglio di Dipartimento
Research
Recent publications
- Asymptotic analysis of Skolem's exponential functions [2022]
- Provability logic: models within models in Peano Arithmetic [2022]
- On the value group of the transseries [2021]
Grants
-
Mathematical Logic: models, sets, computability
(Prin 2017)
Principal Investigator: Alessandro Berarducci
Project period: Aug 01, 2019 – Aug 19, 2023