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

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

Documents Related by Co-Citation

69 Gödel's Functional ("Dialectica") Interpretation – - 1998
146 Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes – - 1958
53 Analyzing Proofs in Analysis – - 1993
41 Hereditarily majorizable functionals of finite type – - 1973
44 Some Logical Metatheorems with Applications in Functional Analysis – - 2003
34 Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals – - 1995
36 Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals – - 1985
31 Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation – - 1993
74 Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles in current intuitionistic mathematics – - 1962
13 Relative Constructivity – - 1996
13 2005), Bounded functional interpretation
78 Interpretation of analysis by means of constructive functionals of finite types – - 1959
19 A quantitative version of a theorem due to Borwein-Reich-Shafrir – - 2000
26 On the interpretation of non-finitist proofs, part I – - 1951
14 Pointwise hereditary majorization and some applications – - 1992
20 Uniform asymptotic regularity for Mann iterates – - 2002
18 On the No-Counterexample Interpretation – - 1997
35 Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization – - 1992
10 On the Uniform Weak König's Lemma – - 1999