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

Cached

Download Links

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

Documents Related by Co-Citation

145 Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes – Kurt Gödel - 1958
124 1973] Metamathematical Investigation of Intuitionistic Arithmetic and Analysis – A S Troelstra
44 Theories of finite type related to mathematical practice – Solomon Feferman
35 Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization – Ulrich Kohlenbach - 1992
53 Applied proof theory: proof interpretations and their use in mathematics – U Kohlenbach - 2008
54 Analyzing Proofs in Analysis – Ulrich Kohlenbach - 1993
42 Hereditarily majorizable functionals of finite type – W A Howard - 1973
21 Interpreting classical theories in constructive ones – Jeremy Avigad
34 Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals – Ulrich Kohlenbach - 1995
10 Note on the fan theorem – A S Troelstra - 1974
74 Provably Recursive Functionals of Analysis: A Consistency Proof of Analysis by an Extension of Principles Formulated – Clifford Spector - 1962
18 Proof Theory and Computational Analysis – Ulrich Kohlenbach, Ulrich Kohlenbach - 1997
29 Subsystems of Second-Order Arithmetic – Stephen G Simpson - 1999
27 Extensional Gödel Functional Interpretation – H Luckhardt - 1973
193 Subsystems of Second Order Arithmetic – S G Simpson - 2009
31 Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation – Ulrich Kohlenbach, Where U - 1993
36 Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals – M A Bezem - 1985
265 Foundations of Constructive Mathematics – M J Beeson - 1985
78 Lectures on Proof Theory – Samuel Buss, A. Maciel (mcgill, E. Allender (rutgers, P. Mckenzie - 1996