Series: Penn State Logic Seminar

Date: Tuesday, March 23, 2004

Time: 2:30 - 3:45 PM

Place: 307 Boucke Building


  Fernando Ferreira, Mathematics and Philosophy, University of Lisbon

Title: Bounded Functional Interpretation (after Godel '58)

  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.