scientific article; zbMATH DE number 51623

MaRDI QIDQ4002004zbMATHFDO

Authors Ulrich Kohlenbach

Publication date 18 September 1992

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)

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

Cited in

(10)

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

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)