Partial metric monoids and semivaluation spaces

DOI10.1016/j.topol.2005.01.023zbMath1084.22002OpenAlexW2049286690MaRDI QIDQ818425

Michel Schellekens, Salvador Romaguera

Publication date: 20 March 2006

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.topol.2005.01.023

zbMATH Keywords

quasi-metricmeet semilatticedomain of wordsdual complexity spaceinterval domainpartial metric monoidsemivaluationweightable

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Topological lattices, etc. (topological aspects) (54H12) Structure of topological semigroups (22A15) Topological semilattices, lattices and applications (22A26)

Related Items (47)

Projective contractions, generalized metrics, and fixed points ⋮ Uniform structures in the beginning of the third millenium ⋮ Common fixed points in a partially ordered partial metric space ⋮ Fixed point of generalized weakly contractive mappings in ordered partial metric spaces ⋮ A fixed point theorem for preordered complete fuzzy quasi-metric spaces and an application ⋮ 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 ⋮ Existence and uniqueness for a first-order periodic differential problem via fixed point results ⋮ Common fixed points for self-mappings on partial metric spaces ⋮ On fixed point theory in partial metric spaces ⋮ Infima and complements in the lattice of quasi-uniformities ⋮ 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 ⋮ New contribution in fixed point theory via an auxiliary function with an application ⋮ Fixed points of mappings with a contractive iterate at a point in partial metric spaces ⋮ Monoids with quantale-valued preorders: globalizations and localizations ⋮ A new generalization of metric spaces satisfying the \(T_2\)-separation axiom and some related fixed point results ⋮ The complexity probabilistic quasi-metric space ⋮ 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 ⋮ A unique common fixed-point theorem for two maps under \(\psi\)-\(\phi\) contractive condition in partial metric spaces ⋮ The topology of \(GB\)-metric spaces ⋮ Common fixed point results of four mappings in ordered partial metric spaces ⋮ Fixed point theorems for generalized contractions on partial metric spaces ⋮ Some relations between \(n\)-tuple fixed point and fixed point results ⋮ Applications of the complexity space to the general probabilistic divide and conquer algorithms ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ A Kirk type characterization of completeness for partial metric spaces ⋮ \(Q\)-functions on quasimetric spaces and fixed points for multivalued maps ⋮ Some coupled fixed point results on partial metric spaces ⋮ The Hausdorff fuzzy quasi-metric ⋮ Generalized Meir-Keeler type \(n\)-tupled fixed point theorems in ordered partial metric spaces ⋮ Quasi-metrics and monotone normality ⋮ Some fixed point results via \(R\)-functions ⋮ Denotational semantics for programming languages, balanced quasi-metrics and fixed points ⋮ On the structure of the space of complexity partial functions ⋮ Recent advances on the results for nonunique fixed in various 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 ⋮ Fixed points for weak \(\alpha\)-\(\psi\)-contractions in partial metric spaces ⋮ \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis ⋮ A common fixed point result by altering distances involving a contractive condition of integral type in partial metric spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An extensional treatment of lazy data flow deadlock
• Lengths on semigroups and groups
• C-complete quasi-uniform spaces
• Approximation of metric spaces by partial metric spaces
• PCF extended with real numbers
• Ordered fractal semigroups as a model of computation
• A characterization of partial metrizability: Domains are quantifiable.
• Quasi-metric properties of complexity spaces
• The correspondence between partial metrics and semivaluations
• The quasi-metric of complexity convergence
• Partial Metric Topology
• UNIFORMITIES ON FREE SEMIGROUPS

This page was built for publication: Partial metric monoids and semivaluation spaces