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

Complete partial metric spaces have partially metrizable computational models, Complete partial metric spaces have partially metrizable computational models, 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, \(q\)-hyperconvexity in quasipseudometric spaces and fixed point theorems, Weakly contractive multivalued maps and \(w\)-distances on complete quasi-metric spaces, Fixed point theorems in generalized metric spaces with applications to computer science, 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