
Marcello Mamino
Professore Associato
Gruppo di Ricerca in Logica Matematica
Edificio A, Piano terra, Stanza 122,
L.go B. Pontecorvo, 5, 56127 Pisa (PI), Italy.
L.go B. Pontecorvo, 5, 56127 Pisa (PI), Italy.
Incarichi
Membro di:
- Centro di Calcolo Scientifico - Comitato Operativo
- Consiglio CdS
- Consiglio di Dipartimento
Ricerca
Pubblicazioni recenti
- 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]
Finanziamenti
-
Mathematical Logic: models, sets, computability
(Prin 2017)
Principal Investigator: Alessandro Berarducci
Periodo: Aug 01, 2019 – Aug 19, 2023