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
53 Applied proof theory: proof interpretations and their use in mathematics – U Kohlenbach - 2008
35 Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization – Ulrich Kohlenbach - 1992
124 1973] Metamathematical Investigation of Intuitionistic Arithmetic and Analysis – A S Troelstra
44 Theories of finite type related to mathematical practice – Solomon Feferman
54 Analyzing Proofs in Analysis – Ulrich Kohlenbach - 1993
42 Hereditarily majorizable functionals of finite type – W A Howard - 1973
74 Provably Recursive Functionals of Analysis: A Consistency Proof of Analysis by an Extension of Principles Formulated – Clifford Spector - 1962
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
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
18 On the No-Counterexample Interpretation – Ulrich Kohlenbach - 1997
29 Subsystems of Second-Order Arithmetic – Stephen G Simpson - 1999
26 On the interpretation of non-finitist proofs - part – G Kreisel - 1951
16 New Effective Moduli of Uniqueness and Uniform a-Priori Estimates for Constants of Strong Unicity by Logical Analysis of Known Proofs in Best Approximation Theory – Ulrich Kohlenbach - 1993
10 Note on the fan theorem – A S Troelstra - 1974
193 Subsystems of Second Order Arithmetic – S G Simpson - 2009
76 Interpretation of analysis by means of constructive functionals of finite types – G Kreisel - 1959