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 – Kurt Gödel - 1958
54 Analyzing Proofs in Analysis – Ulrich Kohlenbach - 1993
42 Hereditarily majorizable functionals of finite type – W A Howard - 1973
44 Some Logical Metatheorems with Applications in Functional Analysis – Ulrich Kohlenbach - 2003
34 Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals – Ulrich Kohlenbach - 1995
36 Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals – M A Bezem - 1985
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 Formulated – Clifford Spector - 1962
14 Relative Constructivity – Ulrich Kohlenbach - 1996
13 Bounded functional interpretation – F Ferreira, P Oliva - 2005
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 – 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 – Ulrich Kohlenbach - 1992
10 On the Uniform Weak König's Lemma – Ulrich Kohlenbach - 1999