Computable Banach spaces via domain theory

DOI10.1016/S0304-3975(98)00288-6zbMATH Open0916.68045MaRDI QIDQ1292403FDOQ1292403

Abbas Edalat, Philipp Sünderhauf

Publication date: 21 June 1999

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

Recommendations

• Banach domains: computational models of Banach spaces
• Computability of compact operators on computable Banach spaces with bases
• On computable compact operators on Banach spaces
• scientific article; zbMATH DE number 1344955

zbMATH Keywords

complete metric spacescomputability theory

Mathematics Subject Classification ID

Cites Work

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

Cited In (19)

• On the domain of formal balls of the Sorgenfrey quasi-metric space
• Title not available (Why is that?)
• A domain-theoretic approach to fuzzy metric spaces
• Effective metric spaces and representations of the reals.
• Computability of compact operators on computable Banach spaces with bases
• Title not available (Why is that?)
• Complete partial metric spaces have partially metrizable computational models
• Essential and density topologies of continuous domains
• Complete partial metric spaces have partially metrizable computational models
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
• Interpolation functor and computability.
• Banach domains: computational models of Banach spaces
• On the construction of domains of formal balls for uniform spaces
• Effectiveness in RPL, with applications to continuous logic
• A quantitative computational model for complete partial metric spaces via formal balls
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• A domain-theoretic approach to computability on the real line
• Uniform domain representations of ℓp-spaces
• Foundation of a computable solid modelling.

This page was built for publication: Computable Banach spaces via domain theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1292403)