Domain representability of metric spaces

DOI10.1016/S0168-0072(96)00017-6zbMath0867.03014OpenAlexW2081739551MaRDI QIDQ674414

Jens Blanck

Publication date: 5 March 1997

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(96)00017-6

zbMATH Keywords

metric spaceseffectivityBanach fixed point theoremcontinuous functionscomputable analysiscategory of Scott-Ershov domainsCeitin's theoremdomain representabilityeffective domain theoryeffective metricleast fixed point theoremsemieffective domains

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items (26)

Two categories of effective continuous cpos ⋮ A computational model for metric spaces ⋮ A constructive and functorial embedding of locally compact metric spaces into locales ⋮ Representability of locally compact regular spaces by domains and formal spaces ⋮ The quasi-metrizability of hyperspaces ⋮ Some results related to the continuity problem ⋮ Internal Density Theorems for Hierarchies of Continuous Functionals ⋮ Effectiveness in RPL, with applications to continuous logic ⋮ Recursive quasi-metric spaces. ⋮ Reducibility of domain representations and Cantor–Weihrauch domain representations ⋮ Domain representability of metric spaces ⋮ Domain representations of spaces of compact subsets ⋮ Lawson topology of the space of formal balls and the hyperbolic topology ⋮ Computable and Continuous Partial Homomorphisms on Metric Partial Algebras ⋮ Domains for Computation in Mathematics, Physics and Exact Real Arithmetic ⋮ Effectivity and effective continuity of multifunctions ⋮ Can partial indexings be totalized? ⋮ A domain-theoretic approach to computability on the real line ⋮ Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets ⋮ Computable Banach spaces via domain theory ⋮ Concrete models of computation for topological algebras ⋮ Computation by `While' programs on topological partial algebras ⋮ Domain representations of topological spaces ⋮ Exact real arithmetic using centred intervals and bounded error terms ⋮ Extension of valuations on locally compact sober spaces ⋮ Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Domain representability of metric spaces
• Embedding metric spaces into CPO's
• Algebraic and fixed point equations over inverse limits of algebras
• Total sets and objects in domain theory
• Logic colloquium 76. Proceedings of a conference held in Oxford in July 1976
• On the definitions of computable real continuous functions
• Complete local rings as domains
• A note on computable real fields
• Recursive metric spaces
• Computable Fields and Arithmetically Definable Ordered Fields

This page was built for publication: Domain representability of metric spaces