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

145 Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes – Kurt Gödel - 1958
54 Analyzing Proofs in Analysis – Ulrich Kohlenbach - 1993
74 Provably Recursive Functionals of Analysis: A Consistency Proof of Analysis by an Extension of Principles Formulated – Clifford Spector - 1962
36 Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals – M A Bezem - 1985
34 Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals – Ulrich Kohlenbach - 1995
35 Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization – Ulrich Kohlenbach - 1992
69 Gödel's Functional ("Dialectica") Interpretation – Jeremy Avigad, Solomon Feferman - 1998
26 On the interpretation of non-finitist proofs - part – G Kreisel - 1951
53 Applied proof theory: proof interpretations and their use in mathematics – U Kohlenbach - 2008
42 Hereditarily majorizable functionals of finite type – W A Howard - 1973
16 On the interpretation of non-finitist proofs, part II: Interpretation of number theory – G Kreisel - 1952
20 Soft analysis, hard analysis, and the finite convergence principle. Essay posted May 23, 2007. Appeared in: ‘T. Tao, Structure and Randomness: Pages from Year One of a Mathematical Blog – T Tao
193 Subsystems of Second Order Arithmetic – S G Simpson - 2009
14 Pointwise hereditary majorization and some applications – Ulrich Kohlenbach - 1992
31 General logical metatheorems for functional analysis – Philipp Gerhardy, Ulrich Kohlenbach - 2008
44 Some Logical Metatheorems with Applications in Functional Analysis – Ulrich Kohlenbach - 2003
15 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics – Ulrich Kohlenbach, Paulo B. Oliva - 2002
9 Shoenfield is Gödel after Krivine – T Streicher, U Kohlenbach - 2007
27 Extensional Gödel Functional Interpretation – H Luckhardt - 1973