Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
 
(4 intermediate revisions by 3 users not shown)
Property / reviewed by
 
Property / reviewed by: Pier Luigi Ferrari / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Pier Luigi Ferrari / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5824483 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3679172 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5573965 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3803111 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the foundations of best approximation theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: A constructive development of Chebyshev approximation theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lipschitz Constants and Moduli of Continuity for the Chebyshev Projection / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3671621 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3035281 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Which set existence axioms are needed to prove the separable Hahn-Banach theorem? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5543516 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4111536 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Countable algebra and set existence axioms / rank
 
Normal rank
Property / cites work
 
Property / cites work: ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4108735 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5812175 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recursive Functionals and Quantifiers of Finite Types I / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the computational complexity of best Chebyshev approximations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4002474 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4002004 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pointwise hereditary majorization and some applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: 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 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extensional Gödel functional interpretation. A consistency proof of classical analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken / rank
 
Normal rank
Property / cites work
 
Property / cites work: Approximation von Funktionen und ihre numerische Behandlung / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5801440 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some theorems on Cebysev approximation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5722348 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5573961 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uniform approximation by polynomials having bounded coefficients / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5614117 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fixed point theory in weak second-order arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3699664 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard / rank
 
Normal rank
Property / cites work
 
Property / cites work: Note on the fan theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructivism in mathematics. An introduction. Volume II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representations of the real numbers and of the open subsets of the set of real numbers / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0168-0072(93)90213-w / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2061466015 / rank
 
Normal rank

Latest revision as of 10:55, 30 July 2024

scientific article
Language Label Description Also known as
English
Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
scientific article

    Statements

    Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (English)
    0 references
    0 references
    1 September 1994
    0 references
    The paper deals with the search for effective moduli from ineffective uniqueness proofs of classical analysis. The author shows that, under suitable conditions, it is possible to extract an effective modulus of uniqueness from the proof. In particular this applies to the proof of uniqueness for the best Chebycheff approximation of \(f\in{\mathcal C}[0,1]\) by polynomials of degree \(\leq n\) given by de La Vallée Poussin, and provides explicit moduli of uniqueness and uniform constants of strong unicity.
    0 references
    ineffective uniqueness proofs of classical analysis
    0 references
    effective modulus of uniqueness
    0 references
    Chebycheff approximation
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers