Proof Mining: A Systematic Way of Analysing Proofs in Mathematics (2002)

by Ulrich Kohlenbach , Paulo B. Oliva
Citations:15 - 5 self

Documents Related by Co-Citation

69 Gödel's Functional ("Dialectica") Interpretation – Jeremy Avigad, Solomon Feferman - 1998
145 Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes – K Gödel - 1958
53 Analyzing Proofs in Analysis – Ulrich Kohlenbach - 1993
41 Hereditarily majorizable functionals of finite type – W A Howard - 1973
44 Some Logical Metatheorems with Applications in Functional Analysis – Ulrich Kohlenbach - 2003
36 Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals – M Bezem - 1985
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
74 Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles in current intuitionistic mathematics – C Spector - 1962
13 Relative Constructivity – Ulrich Kohlenbach - 1996
13 2005), Bounded functional interpretation – F Ferreira, P Oliva
76 Interpretation of analysis by means of constructive functionals of finite types – G Kreisel - 1959
19 A quantitative version of a theorem due to Borwein-Reich-Shafrir – Ulrich Kohlenbach - 2000
26 On the interpretation of non-finitist proofs, part I – G Kreisel - 1951
14 Pointwise hereditary majorization and some applications – Ulrich Kohlenbach - 1992
20 Uniform asymptotic regularity for Mann iterates – Ulrich Kohlenbach - 2002
18 On the No-Counterexample Interpretation – Ulrich Kohlenbach - 1997
35 Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization – U Kohlenbach - 1992
10 On the Uniform Weak König's Lemma – Ulrich Kohlenbach - 1999