Marcello Mamino
Associate Professor
Mathematical Logic Research Group
Building A, Ground floor, Room 122,
L.go B. Pontecorvo, 5, 56127 Pisa (PI), Italy.
L.go B. Pontecorvo, 5, 56127 Pisa (PI), Italy.
Administrative duties
Member of:
- Centro di Calcolo Scientifico - Comitato Operativo
- Consiglio CdS
- Consiglio di Dipartimento
Research
Recent publications
- Asymptotic analysis of Skolem's exponential functions [2022]
- One Lie Group to Define Them All [2022]
- Provability logic: models within models in Peano Arithmetic [2022]
- Fundamental group in o-minimal structures with definable Skolem functions [2021]
- Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation [2021]
Grants
-
Models, sets and classifications
(Prin 2022)
Principal Investigator: Gianluca Paolini
Project period: Sep 28, 2023 – Sep 27, 2025