scientific article; zbMATH DE number 5064948

MaRDI QIDQ5494231zbMATH OpenFDO

Authors Vasco Brattka

Publication date 17 October 2006

zbMATH Keywords

Banach spaceBanach-Steinhaus theorembounded linear operatorscomputable functional analysiseffective representationsuniform boundedness theorem

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Recommendations

• Uniformly computable aspects of inner functions
• A uniformly computable Implicit Function Theorem
• scientific article; zbMATH DE number 2089959
• On the uniform computational content of computability theory
• scientific article; zbMATH DE number 2167522
• The Uniformity Principle for Σ-Definability with Applications to Computable Analysis
• Uniformity, universality, and computability theory
• A computable version of Banach's inverse mapping theorem
• Uniform and conditional-computability of some nonelementary real functions
• scientific article; zbMATH DE number 4128804

Cited in

(11)

• A computable version of Banach's inverse mapping theorem
• On the convergence of Fourier series of computable Lebesgue integrable functions
• Computability and analysis, a historical approach
• Singular coverings and non‐uniform notions of closed set computability
• Computable copies of ℓ p 1
• Computing uniform bounds
• Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus
• Computable Riesz representation for the dual of \(C[0;1]\)
• Weihrauch Complexity in Computable Analysis
• Resolution of the uniform lower bound problem in constructive analysis
• Borel complexity and computability of the Hahn-Banach theorem

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 Q5494231)