scientific article

zbMath0744.03056MaRDI QIDQ4002004

Ulrich Kohlenbach

Publication date: 18 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (10)

An abstract proximal point algorithm ⋮ Revisiting jointly firmly nonexpansive families of mappings ⋮ Some logical metatheorems with applications in functional analysis ⋮ 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 ⋮ Primitive recursive reverse mathematics ⋮ 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 ⋮ Functional interpretation of Aczel's constructive set theory ⋮ Pointwise hereditary majorization and some applications

This page was built for publication: