Ana Borges
Instituto Superior Técnico, Universidade de Lisboa

In this talk we present two functional interpretations of arithmetic: Gödel's functional or `dialectica' interpretation and Kohlenbach's monotone functional interpretation, which is a modification of the first. On the way, we describe weakly extensional Heyting arithmetic in all finite types, Bezem's strong majorizability notion and Howard’s majorizability theorem.

This seminar is supported by National Funding from FCT - Fundação para a Ciência e a Tecnologia, under the project: UID/MAT/04561/2013.