Domain theoretic characterisations of quasi-metric completeness in terms of formal balls

DOI10.1017/S0960129510000010zbMath1193.54016MaRDI QIDQ3564344

Oscar Valero, Salvador Romaguera

Publication date: 2 June 2010

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

domainquasi-metric spaceformal ballsSmyth-completeYoneda-complete

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Continuous lattices and posets, applications (06B35)

Related Items

On the domain of formal balls of the Sorgenfrey quasi-metric space, The monad on strong quasi-metric spaces, Quantale-valued preorders: globalization and cocompleteness., Formal balls of Q-categories, Domain-complete and LCS-complete spaces, Quasi-continuous Yoneda complete quasi-metric space, Distance domains: continuity, A characterization of Smyth complete quasi-metric spaces via Caristi's fixed point theorem, A characterisation of weightable quasi-metric generating functions, On fixed point theory in partial metric spaces, A domain-theoretic approach to fuzzy metric spaces, T-complete KM-fuzzy metric spaces via domain theory, Characterizations of quasi-metric and \(G\)-metric completeness involving \(w\)-distances and fixed points, Local Yoneda completions of quasi-metric spaces, The Isbell-hull of a di-space, Fixed points and completeness in metric and generalized metric spaces, Weakly contractive multivalued maps and \(w\)-distances on complete quasi-metric spaces, On the construction of domains of formal balls for uniform spaces, Formal balls in fuzzy quasi-metric spaces, The relationships between KM-fuzzy quasi-metric spaces and the associated posets of formal balls, Yoneda completion via a dcpo completion of its poset of formal balls, Topologies for semicontinuous Richter-Peleg multi-utilities, An application of a representation theorem for fuzzy metrics to domain theory, Fixed point theorems in generalized metric spaces with applications to computer science, \(q\)-hyperconvexity in quasipseudometric spaces and fixed point theorems, \(Q\)-functions on quasimetric spaces and fixed points for multivalued maps, Complete partial metric spaces have partially metrizable computational models, Complete partial metric spaces have partially metrizable computational models, On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics

Cites Work

• Domain theory and integration
• Partial metric monoids and semivaluation spaces
• Generalized ultrametric spaces in quantitative domain theory
• The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words
• A computational model for metric spaces
• Cauchy sequences in quasi-pseudo-metric spaces
• Computable Banach spaces via domain theory
• Weighted colimits and formal balls in generalized metric spaces
• Approximation of metric spaces by partial metric spaces
• A characterization of partial metrizability: Domains are quantifiable.
• On the Yoneda completion of a quasi-metric space
• Quantitative continuous domains
• The correspondence between partial metrics and semivaluations
• Bounded complete models of topological spaces
• Dynamical systems, measures, and fractals via domain theory
• Quasi-uniform completeness in terms of Cauchy nets
• The space of formal balls and models of quasi-metric spaces
• A quantitative computational model for complete partial metric spaces via formal balls
• Partial Metric Topology
• Spaces of maximal points
• Continuous Lattices and Domains
• Distance and Measurement in Domain Theory
• Denotational semantics for programming languages, balanced quasi-metrics and fixed points
• Partial metrisability of continuous posets