Fernando Ferriera

University of Lisbon

"Bounded Functional Interpretation"

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.

Back to Talks Page