Domain representability of metric spaces

DOI10.1016/S0168-0072(96)00017-6zbMATH Open0867.03014OpenAlexW2081739551MaRDI QIDQ674414FDOQ674414

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 spacescomputable analysisBanach fixed point theoremcontinuous functionseffectivitycategory 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)

Cites Work

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

Cited In (32)

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

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

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