A characterization of partial metrizability: Domains are quantifiable.

DOI10.1016/S0304-3975(02)00705-3zbMath1043.54011MaRDI QIDQ1427788

Michel Schellekens

Publication date: 14 March 2004

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

zbMATH Keywords

directed complete partially ordered setdomainquasi-uniform spacesweightable quasi-metric space

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Uniform structures and generalizations (54E15) Continuous lattices and posets, applications (06B35) Semilattices (06A12)

Related Items (57)

Partial metric monoids and semivaluation spaces ⋮ On the domain of formal balls of the Sorgenfrey quasi-metric space ⋮ Unnamed Item ⋮ Common fixed point of multifunctions on partial metric spaces ⋮ A characterisation of weightable quasi-metric generating functions ⋮ Partial quasi-metrics ⋮ Generalized ultrametric spaces in quantitative domain theory ⋮ Some new fixed point theorems in partial metric spaces with applications ⋮ Common fixed points in a partially ordered partial metric space ⋮ Common fixed-point results for nonlinear contractions in ordered partial metric spaces ⋮ Properties and principles on partial metric spaces ⋮ Infima and complements in the lattice of quasi-uniformities ⋮ A domain-theoretic approach to fuzzy metric spaces ⋮ Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation ⋮ Fixed point theorems for generalized contractions on \(GP\)-metric spaces ⋮ Some remarks on partial metric spaces ⋮ \(L\)-partial metrics and their topologies ⋮ Some common fixed point theorems in partial metric spaces ⋮ Unnamed Item ⋮ A generalized Meir-Keeler-type contraction on partial metric spaces ⋮ A generalized contraction principle with control functions on partial metric spaces ⋮ DS-partial metric spaces and domain theory ⋮ Weakly contractive multivalued maps and \(w\)-distances on complete quasi-metric spaces ⋮ A unique common fixed-point theorem for two maps under \(\psi\)-\(\phi\) contractive condition in partial metric spaces ⋮ Unnamed Item ⋮ Fixed point theory for cyclic generalized weak \(\phi\)-contraction on partial metric spaces ⋮ Intrinsic approach spaces on domains ⋮ Unnamed Item ⋮ Weightable quasi-uniformities ⋮ Fixed point theorems for generalized contractions on partial metric spaces ⋮ On the construction of domains of formal balls for uniform spaces ⋮ Weak condition for generalized f-weakly Picard mappings on partial metric spaces ⋮ Complete and directed complete \(\Omega \)-categories ⋮ Unnamed Item ⋮ Yoneda completion via a dcpo completion of its poset of formal balls ⋮ Applications and common coupled fixed point results in ordered partial metric spaces ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ Fixed point theorems in generalized metric spaces with applications to computer science ⋮ New perspectives of granular computing in relation geometry induced by pairings ⋮ A Kirk type characterization of completeness for partial metric spaces ⋮ A representation theorem for fuzzy pseudometrics ⋮ Complexity spaces as quantitative domains of computation ⋮ \(Q\)-functions on quasimetric spaces and fixed points for multivalued maps ⋮ Weightable quasi-metric semigroups and semilattices ⋮ Fixed points of contractive maps on dcpo's ⋮ Quasi-metrics and monotone normality ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ Compactness and completeness in partial metric spaces ⋮ A quantitative computational model for complete partial metric spaces via formal balls ⋮ A quasi-metric computational model from modular functions on monoids ⋮ On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics ⋮ Metrizability of partial metric spaces ⋮ Some common fixed point theorems on partial metric spaces satisfying implicit relation ⋮ Some fixed point theorems for generalized (psi - phi)-weak contraction mappings in partial metric spaces ⋮ Entropy conservation for comparison-based algorithms ⋮ \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis

Cites Work

• An extensional treatment of lazy data flow deadlock
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Uniform lattices. I: A generalization of topological Riesz spaces and topological Boolean rings
• Approximation of metric spaces by partial metric spaces
• Uniform lattices. II: Order continuity and exhaustivity
• Continuity spaces: Reconciling domains and metric spaces
• The essence of ideal completion in quantitative form
• On the Yoneda completion of a quasi-metric space
• Quasi-metric properties of complexity spaces
• The correspondence between partial metrics and semivaluations
• Quasi-uniform completeness in terms of Cauchy nets
• The Smyth Completion
• Partial Metric Topology
• Completeness of Quasi-Uniform and Syntopological Spaces
• Extendible spaces
• Duality and quasi-normability for complexity spaces
• The asymmetric topology of computer science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A characterization of partial metrizability: Domains are quantifiable.