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

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