scientific article; zbMATH DE number 51623

MaRDI QIDQ4002004zbMATH OpenFDO

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

(13)

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

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)