Matteo de Ceglie


I am a Master Student in Philosophy at Scuola Normale Superiore, in Pisa (Italy). During the Fall Semester I will stay in UCB to conduct research for my thesis, in which I will try to introduce, following the works of Friedman, Crosilla and Rathjen, non measurable large cardinals in Intuitionistic Set Theory (ZFI) and in Martin-Löf Type Theory. I’m also interested in Philosophy of Mathematics (in a broader sense), Higher Order Logic and formal semantics (in linguistics).