Computable Banach spaces via domain theory

DOI10.1016/S0304-3975(98)00288-6zbMath0916.68045MaRDI QIDQ1292403

Abbas Edalat, Philipp Sünderhauf

Publication date: 21 June 1999

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

zbMATH Keywords

computability theory; complete metric spaces

Mathematics Subject Classification ID

Related Items

Complete partial metric spaces have partially metrizable computational models, Complete partial metric spaces have partially metrizable computational models, A domain-theoretic approach to fuzzy metric spaces, Effectiveness in RPL, with applications to continuous logic, A domain-theoretic approach to computability on the real line, Domain representations of partial functions, with applications to spatial objects and constructive volume geometry., Foundation of a computable solid modelling., Effective metric spaces and representations of the reals., Interpolation functor and computability., On the construction of domains of formal balls for uniform spaces, Domain theoretic characterisations of quasi-metric completeness in terms of formal balls, A quantitative computational model for complete partial metric spaces via formal balls

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Domain representability of metric spaces
• Theory of representations
• A computational model for metric spaces
• A domain-theoretic approach to computability on the real line
• Domain representations of topological spaces
• Computability on computable metric spaces
• Computable functionals of finite types
• Computable functionals
• Complete local rings as domains
• Berechenbare Reelle Funktionen
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Algorithmic operators in constructive metric spaces
• Recursive metric spaces