Person details Francesco Gallinaro Postdoctoral Fellow Mathematical Logic Research Group Building A, First floor, Room 220, L.go B. Pontecorvo, 5, 56127 Pisa (PI), Italy. francesco.gallinaro@dm.unipi.it