On the No-Counterexample Interpretation (1997)

Cached

Download Links

by Ulrich Kohlenbach
Venue:J. SYMBOLIC LOGIC
Citations:18 - 10 self

Documents Related by Co-Citation

146 Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes – - 1958
53 Analyzing Proofs in Analysis – - 1993
74 Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles in current intuitionistic mathematics – - 1962
36 Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals – - 1985
35 Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization – - 1992
34 Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals – - 1995
69 Gödel's Functional ("Dialectica") Interpretation – - 1998
26 On the interpretation of non-finitist proofs, part I – - 1951
54 Applied Proof Theory: Proof Interpretations and their Use – - 2008
41 Hereditarily majorizable functionals of finite type – - 1973
16 On the Interpretation of Non-Finitist Proofs – Part II. Interpretation of Number Theory – - 1952
21 Soft analysis, hard analysis, and the finite convergence principle. http://terrytao.wordpress.com – - 2007
198 Subsystems of second order arithmetic – - 1999
14 Pointwise hereditary majorization and some applications – - 1992
31 General logical metatheorems for functional analysis – - 2008
44 Some Logical Metatheorems with Applications in Functional Analysis – - 2003
15 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics – - 2002
9 Shoenfield is Gödel after Krivine – - 2007
26 Extensional Gödel Functional Interpretation – - 1973