Embedding metric spaces into CPO's

DOI10.1016/0304-3975(81)90027-XzbMath0485.68040DBLPjournals/tcs/WeihrauchS81WikidataQ56550573 ScholiaQ56550573MaRDI QIDQ1164416

Ulrich Schreiber, Weihrauch, Klaus

Publication date: 1981

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

zbMATH Keywords

Euclidean spaceBaire spacecomplete partial orderbounded complete omega-algebraic cpo's with continuous weight and distancecomputability on metric spacescontinuous cpo-functionscontinuous functions on metric spacesmetric spaces with Polish topologyspaces of infinite treestotal functions on the natural numbers

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Complete lattices, completions (06B23) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (41)

The monad on strong quasi-metric spaces ⋮ Formal balls of Q-categories ⋮ Quasi-continuous Yoneda complete quasi-metric space ⋮ Distance domains: continuity ⋮ Maximal point spaces of dcpos satisfying the Lawson condition ⋮ Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations ⋮ Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding ⋮ A computational model for metric spaces ⋮ Representability of locally compact regular spaces by domains and formal spaces ⋮ The Xi-Zhao model of \(T_1\)-spaces ⋮ T-complete KM-fuzzy metric spaces via domain theory ⋮ Local Yoneda completions of quasi-metric spaces ⋮ Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks ⋮ Embedding metric spaces into CPO's ⋮ Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces ⋮ Constructive metrisability in point-free topology. ⋮ Some points in formal topology. ⋮ Reducibility of domain representations and Cantor–Weihrauch domain representations ⋮ Domain representability of metric spaces ⋮ Yoneda completion via a dcpo completion of its poset of formal balls ⋮ Lawson topology of the space of formal balls and the hyperbolic topology ⋮ An application of a representation theorem for fuzzy metrics to domain theory ⋮ On topological spaces that have a bounded complete dcpo model ⋮ Computable and Continuous Partial Homomorphisms on Metric Partial Algebras ⋮ Domains for Computation in Mathematics, Physics and Exact Real Arithmetic ⋮ Can partial indexings be totalized? ⋮ Pointless metric spaces ⋮ Distances, diameters and verisimilitude of theories ⋮ Computability on computable metric spaces ⋮ Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains ⋮ A domain-theoretic approach to computability on the real line ⋮ Formal ball monads ⋮ Hyperbolic topology of normed linear spaces ⋮ Concrete models of computation for topological algebras ⋮ Computation by `While' programs on topological partial algebras ⋮ Weighted colimits and formal balls in generalized metric spaces ⋮ Computation on metric spaces via domain theory ⋮ Domain representations of topological spaces ⋮ Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions ⋮ A category of compositional domain-models for separable Stone spaces. ⋮ Extension of valuations on locally compact sober spaces

Cites Work

• A uniform approach to inductive posets and inductive closure
• Effectively given domains
• Embedding metric spaces into CPO's
• Computability concepts for programming language semantics
• Bases for Chain-complete Posets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Embedding metric spaces into CPO's