Gödel's Functional ("Dialectica") Interpretation (1998)

Cached

Download Links

by Jeremy Avigad , Solomon Feferman
Citations:69 - 13 self

Active Bibliography

7 1996], Computation on abstract data types. The extensional approach, with an application to streams – Solomon Feferman, C. Kleene
3 Things that can and things that can't be done in PRA – Ulrich Kohlenbach - 1998
Special Issue Dialectica (50th anniversary of Gödel’s Dialectica paper) Table of Contents 1. Introduction (Thomas Strahm) – Lieber Herr Bernays
2 A most artistic package of a jumble of ideas – Fernando Ferreira
1 On the strength of some semi-constructive theories – Solomon Feferman - 2009
INTERPRETABILITY IN ROBINSON’S Q – Fernando Ferreira, Gilda Ferreira
2 Injecting uniformities into Peano arithmetic – Fernando Ferreira - 2008
1 PROOF INTERPRETATIONS AND MAJORIZABILITY – Fernando Ferreira
11 Does Mathematics Need New Axioms? – Solomon Feferman - 1999
7 Functional interpretation and inductive definitions – Jeremy Avigad, Henry Towsner
Fundamental Notions of Analysis in . . . – Jeremy Avigad, Ksenija Simic - 2004
17 Number theory and elementary arithmetic – Jeremy Avigad - 2003
Automata and Formal Languages – Dominique Perrin - 2003
Yin and Yang – In Computer Science
2 Computational Complexity Theory – Michael Loui - 1996
2 Topological (Bi-)Simulation – P.J.L. Cuijpers, M.A. Reniers - 2002
5 Quasi-delay-insensitive circuits are Turing-complete. Invited article – Rajit Manohar, Alain J. Martin - 1996
1 Lower Bounds for (MOD p - MOD m) Circuits – Vince Grolmusz, Gabor Tardos - 1998
1 A Degree-Decreasing Lemma for (MOD q - MOD p) Circuits – Vince Grolmusz - 2001