A quantitative computational model for complete partial metric spaces via formal balls
From MaRDI portal
Publication:3636910
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)
Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)
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
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
This page was built for publication: A quantitative computational model for complete partial metric spaces via formal balls
