Emanuele Frittaion



My research is in the area of mathematical logic. I am specifically interested in topics at the intersection between computability theory and proof theory (reverse mathematics, constructive mathematics, intuitionistic arithmetic and analysis, type theory). Most of my work has been in classical reverse mathematics, mainly in the reverse mathematics of order theory. I am currently interested in some questions about constructive mathematics and in the interaction bewteen constructive mathematics and computable mathematics.

Record last modified Aug 13, 2018 9:50:54 AM