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

domain; quasi-metric space; formal balls; Smyth-complete; Yoneda-complete

Mathematics Subject Classification ID

54E35: Metric spaces, metrizability

06B35: Continuous lattices and posets, applications

Related Items

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

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