Laura Crosilla

Laura Crosilla

Università degli Studi di Firenze - Firenze / Italy
Others
AD Scientific Index ID: 5981752
University of Florence
person_outline Laura Crosilla's MOST POPULAR ARTICLES
1-) Set theory: Constructive and intuitionistic ZFL Crosilla472010
2-) From sets and types to topology and analysis: Towards practicable foundations for constructive mathematicsL Crosilla, P SchusterClarendon Press, 2005342005
3-) Predicativity and FefermanL CrosillaFeferman on foundations: Logic, mathematics, philosophy, 423-447, 2017242017
4-) Inaccessible set axioms may have little consistency strengthL Crosilla, M RathjenAnnals of Pure and Applied Logic 115 (1-3), 33-70, 2002242002
5-) Finite methods in mathematical practiceL Crosilla, P SchusterFormalism and beyond: On the nature of mathematical discourse 23, 351, 2014192014