A quantitative computational model for complete partial metric spaces via formal balls

DOI10.1017/S0960129509007671zbMath1172.06003MaRDI QIDQ3636910

Oscar Valero, Salvador Romaguera

Publication date: 30 June 2009

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

zbMATH Keywords

computational modeldomainSmyth completeformal ballspartial metric space, partial quasi-metric

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Cites Work

• Domain theory and integration
• Partial metric monoids and semivaluation spaces
• Partial quasi-metrics
• Generalized ultrametric spaces in quantitative domain theory
• 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
• Sequence spaces and asymmetric norms in the theory of computational complexity.
• A characterization of partial metrizability: Domains are quantifiable.
• On the Yoneda completion of a quasi-metric space
• Quasi-metric properties of complexity spaces
• 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
• Semi-Lipschitz functions and best approximation in quasi-metric spaces
• Properties of the normed cone of semi-Lipschitz functions
• Bicompleting weightable quasi-metric spaces and partial metric spaces
• The Smyth Completion
• Partial Metric Topology
• Spaces of maximal points
• Continuous Lattices and Domains
• Distance and Measurement in Domain Theory
• Partial metrisability of continuous posets

Related Items (64)

On the domain of formal balls of the Sorgenfrey quasi-metric space ⋮ Iterative approximation of fixed points of Prešić operators on partial metric spaces ⋮ A characterisation of weightable quasi-metric generating functions ⋮ Common fixed points in a partially ordered partial metric space ⋮ Common fixed-point results for nonlinear contractions in ordered partial metric spaces ⋮ On cyclic generalized weakly \(C\)-contractions on partial metric spaces ⋮ Fixed point theorems for generalized weak contractions satisfying rational expression on a ordered partial metric space ⋮ Some new common fixed point results through generalized altering distances on partial metric spaces ⋮ On fixed point theory in partial metric spaces ⋮ A domain-theoretic approach to fuzzy metric spaces ⋮ Fixed point of Suzuki-Zamfirescu hybrid contractions in partial metric spaces via partial Hausdorff metric ⋮ Fixed point theorems for generalized contractions on \(GP\)-metric spaces ⋮ New contribution in fixed point theory via an auxiliary function with an application ⋮ Conjugate families of mappings in pointwise metric fuzzy lattices ⋮ T-complete KM-fuzzy metric spaces via domain theory ⋮ Fixed points of mappings with a contractive iterate at a point in partial metric spaces ⋮ Fixed point results for generalized cyclic contraction mappings in partial metric spaces ⋮ A Suzuki type unique common fixed point theorem for hybrid pairs of maps under a new condition in partial metric spaces ⋮ A new generalization of metric spaces satisfying the \(T_2\)-separation axiom and some related fixed point results ⋮ Existence of minima of functions in partial metric spaces and applications to fixed point theory ⋮ A generalized Meir-Keeler-type contraction on partial metric spaces ⋮ Coupled fixed point results for \((\psi,\phi)\)-weakly contractive condition in ordered partial metric spaces ⋮ Common fixed points of generalized contractions on partial metric spaces and an application ⋮ DS-partial metric spaces and domain theory ⋮ Berinde-type generalized contractions on partial metric spaces ⋮ Weakly contractive multivalued maps and \(w\)-distances on complete quasi-metric spaces ⋮ Partial Hausdorff metric and Nadler's fixed point theorem on partial metric spaces ⋮ A unique common fixed-point theorem for two maps under \(\psi\)-\(\phi\) contractive condition in partial metric spaces ⋮ Unnamed Item ⋮ Fixed point of \(T\)-Hardy-Rogers contractive mappings in partially ordered partial metric spaces ⋮ A duality of quantale-enriched categories ⋮ Fixed point theorems for weakly contractive mappings in partially ordered metric-like spaces ⋮ Fixed point theorems for generalized contractions on partial metric spaces ⋮ An induction theorem and Ekeland's variational principle in partial metric spaces with applications ⋮ Edelstein type fixed point theorems ⋮ On the construction of domains of formal balls for uniform spaces ⋮ Fixed points of multivalued contractive mappings in partial metric spaces ⋮ Admissible almost type \(\mathcal{Z}\)-contractions and fixed point results ⋮ Suzuki-Edelstein type contractions via auxiliary functions ⋮ Some relations between \(n\)-tuple fixed point and fixed point results ⋮ An application of a representation theorem for fuzzy metrics to domain theory ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ Fixed point theorems in generalized metric spaces with applications to computer science ⋮ A Kirk type characterization of completeness for partial metric spaces ⋮ Complexity spaces as quantitative domains of computation ⋮ Permutable pairs of quasi-uniformities ⋮ \(Q\)-functions on quasimetric spaces and fixed points for multivalued maps ⋮ Some coupled fixed point results on partial metric spaces ⋮ Generalized Meir-Keeler type \(n\)-tupled fixed point theorems in ordered partial metric spaces ⋮ A variant of Nadler's theorem on weak partial metric spaces with application to a homotopy result ⋮ Unnamed Item ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ The formal ball model for -categories ⋮ On fixed points for a–n–f-contractive multi-valued mappings in partial metric spaces ⋮ Recent advances on the results for nonunique fixed in various spaces ⋮ A study on the relationship between relaxed metrics and indistinguishability operators ⋮ On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics ⋮ Qualitative versus quantitative fixed point techniques in computer science ⋮ ON Ψ-PROJECTIVE EXPANSION, QUASI PARTIAL METRICS AGGREGATION WITH AN APPLICATION ⋮ A common fixed point result by altering distances involving a contractive condition of integral type in partial metric spaces ⋮ On multivalued weakly Picard operators in partial Hausdorff metric spaces ⋮ Common fixed point results for generalized (ψ,β)-geraghty contraction type mapping in partially ordered metric-like spaces with application ⋮ A Suzuki type unique common fixed point theorem for two pairs of hybrid maps under a new condition in partial metric spaces

This page was built for publication: A quantitative computational model for complete partial metric spaces via formal balls