Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals (1995)

Cached

Download Links

by Ulrich Kohlenbach
Citations:34 - 21 self

Documents Related by Co-Citation

54 Analyzing Proofs in Analysis – Ulrich Kohlenbach - 1993
145 Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes – Kurt Gödel - 1958
69 Gödel's Functional ("Dialectica") Interpretation – Jeremy Avigad, Solomon Feferman - 1998
35 Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization – Ulrich Kohlenbach - 1992
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
18 Proof Theory and Computational Analysis – Ulrich Kohlenbach, Ulrich Kohlenbach - 1997
42 Hereditarily majorizable functionals of finite type – W A Howard - 1973
16 New Effective Moduli of Uniqueness and Uniform a-Priori Estimates for Constants of Strong Unicity by Logical Analysis of Known Proofs in Best Approximation Theory – Ulrich Kohlenbach - 1993
26 Fragments of arithmetic – W Sieg - 1985
74 Provably Recursive Functionals of Analysis: A Consistency Proof of Analysis by an Extension of Principles Formulated – Clifford Spector - 1962
33 I.: Krasnoselski-Mann iterations in normed spaces – J Borwein, S Reich, Shafrir - 1992
44 Theories of finite type related to mathematical practice – Solomon Feferman
124 1973] Metamathematical Investigation of Intuitionistic Arithmetic and Analysis – A S Troelstra
14 Pointwise hereditary majorization and some applications – Ulrich Kohlenbach - 1992
23 Iteration processes for nonexpansive mappings – K Goebel, W A Kirk - 1983
26 Fixed points and iteration of a nonexpansive mapping in Banach space – S Ishikawa - 1976
11 Kreisel's `Unwinding Program – Solomon Feferman - 1996
19 A quantitative version of a theorem due to Borwein-Reich-Shafrir – Ulrich Kohlenbach - 2000