Functional interpretation and inductive definitions

by Jeremy Avigad , Henry Towsner
Venue:Journal of Symbolic Logic
Citations:7 - 2 self

Active Bibliography

4 Gödel’s functional interpretation and its use in current mathematics – Ulrich Kohlenbach
1 The computational content of classical arithmetic ∗ – Jeremy Avigad - 2009
1 PROOF INTERPRETATIONS AND MAJORIZABILITY – Fernando Ferreira
5 The metamathematics of ergodic theory – Jeremy Avigad - 2009
9 Proof Interpretations and the Computational Content of Proofs. Draft of book in preparation – Ulrich Kohlenbach - 2007
1 On the strength of some semi-constructive theories – Solomon Feferman - 2009
in – Jeremy Avigad
6 Forcing in Proof Theory – Jeremy Avigad - 2004
4 On the Computational Content of the Bolzano-Weierstraß Principle – Pavol Safarik, Ulrich Kohlenbach - 2009
Computability and analysis: the legacy of Alan Turing – Jeremy Avigad, Vasco Brattka - 2012
2 A most artistic package of a jumble of ideas – Fernando Ferreira
Proof interpretations: theoretical and practical aspects – Jaime Gaspar - 2011
3 Unifying functional interpretations – Paulo Oliva
5 A realizability interpretation for classical arithmetic – Jeremy Avigad - 2000
2 THE BOUNDED FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT – Patrícia Engrácia, Fernando Ferreira
2 Light Functional Interpretation – Mircea-dan Hernest - 2005
1 METASTABILITY IN THE FURSTENBERG-ZIMMER TOWER – Jeremy Avigad, Henry Towsner - 902
3 Light Dialectica program extraction from a classical Fibonacci proof – Mircea-Dan Hernest - 2007
27 Local stability of ergodic averages – Jeremy Avigad, Henry Towsner