scientific article

zbMATH Open0744.03056MaRDI QIDQ4002004FDOQ4002004

Ulrich Kohlenbach

Publication date: 18 September 1992

Title of this publication is not available (Why is that?)

zbMATH Keywords

a-priori boundscontinuous functionalslogical analysis of proofs with higher-types

Mathematics Subject Classification ID

Best approximation, Chebyshev systems (41A50) Structure of proofs (03F07)

Cited In (10)

• Pointwise hereditary majorization and some applications
• Primitive recursive reverse mathematics
• A note on the monotone functional interpretation
• Functional interpretation of Aczel's constructive set theory
• An abstract proximal point algorithm
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Revisiting jointly firmly nonexpansive families of mappings
• 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
• Bounds on strong unicity for Chebyshev approximation with bounded coefficients
• Some logical metatheorems with applications in functional analysis

   Recommendations

• 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 👍 👎
• Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization 👍 👎
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4002004)