Series: Penn State Logic Seminar Date: Tuesday, March 23, 2004 Time: 2:30 - 3:45 PM Place: 307 Boucke Building Speaker: Fernando Ferreira, Mathematics and Philosophy, University of Lisbon Title: Bounded Functional Interpretation (after Godel '58) Abstract: We present a new functional interpretation. In contrast with Godel's functional "Dialectica" interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are vindicated by our interpretation, including (a version of) the FAN theorem and weak Konig's lemma. We also discuss some applications concerning theories of classical arithmetic and analysis.