Results 1 -
2 of
2
Analyzing Proofs in Analysis
- LOGIC: FROM FOUNDATIONS TO APPLICATIONS. EUROPEAN LOGIC COLLOQUIUM (KEELE
, 1993
"... ..."
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
, 1993
"... Let U and V be complete separable metric spaces, Vu compact in V and G : U IR a continuous function. For a large class of (usually non--constructive) proofs of uniqueness theorems Vu G(u, v1 ) = inf G(u, v) = G(u, v2) v1 = v2 one can extract an e#ective modulus of uniqueness # by ..."
Abstract
-
Cited by 6 (4 self)
- Add to MetaCart
Let U and V be complete separable metric spaces, Vu compact in V and G : U IR a continuous function. For a large class of (usually non--constructive) proofs of uniqueness theorems Vu G(u, v1 ) = inf G(u, v) = G(u, v2) v1 = v2 one can extract an e#ective modulus of uniqueness # by logical analysis, i.e.
