On Computable Compact Operators on Banach Spaces

DOI10.1016/j.entcs.2006.08.021zbMath1262.03133OpenAlexW2043895925MaRDI QIDQ4921451

Vasco Brattka, Ruth Dillhage

Publication date: 10 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.08.021

zbMATH Keywords

Banach spacescompact operatorscomputable functional analysis

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Linear operators defined by compactness properties (47B07) Constructive operator theory (47S30)

Related Items (2)

On the maximality of degrees of metrics under computable reducibility ⋮ The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma

Cites Work

• Towards computability of elliptic boundary value problems in variational formulation
• Computability on subsets of metric spaces.
• Computational complexity on computable metric spaces
• Computer Science Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Computable Compact Operators on Banach Spaces