The following pages link to (Q4002004):
Displaying 10 items.
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- Pointwise hereditary majorization and some applications (Q805612) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- An abstract proximal point algorithm (Q1630279) (← links)
- A note on the monotone functional interpretation (Q3107344) (← links)
- 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 (Q4293278) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- Revisiting jointly firmly nonexpansive families of mappings (Q5054735) (← links)
- Primitive recursive reverse mathematics (Q6050165) (← links)
- Bounds on strong unicity for Chebyshev approximation with bounded coefficients (Q6094024) (← links)
