Partial metrisability of continuous posets
From MaRDI portal
Publication:5481597
DOI10.1017/S0960129506005196zbMath1103.06004OpenAlexW2034346260MaRDI QIDQ5481597
Publication date: 10 August 2006
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129506005196
Related Items (34)
On the domain of formal balls of the Sorgenfrey quasi-metric space ⋮ Unnamed Item ⋮ On quasi-metrizable \(d\)-spaces ⋮ 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 ⋮ A domain-theoretic approach to fuzzy metric spaces ⋮ Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation ⋮ 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 ⋮ A new generalization of metric spaces satisfying the \(T_2\)-separation axiom and some related fixed point results ⋮ Unnamed Item ⋮ A generalized Meir-Keeler-type contraction on partial metric spaces ⋮ Common fixed points of generalized contractions on partial metric spaces and an application ⋮ 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 ⋮ Fixed point theory for cyclic generalized weak \(\phi\)-contraction on partial metric spaces ⋮ Unnamed Item ⋮ An induction theorem and Ekeland's variational principle in partial metric spaces with applications ⋮ Unnamed Item ⋮ Applications and common coupled fixed point results in ordered partial metric spaces ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ A Kirk type characterization of completeness for partial metric spaces ⋮ Complexity spaces as quantitative domains of computation ⋮ \(Q\)-functions on quasimetric spaces and fixed points for multivalued maps ⋮ The Hausdorff fuzzy quasi-metric ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ A quantitative computational model for complete partial metric spaces via formal balls ⋮ A quasi-metric computational model from modular functions on monoids ⋮ 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
This page was built for publication: Partial metrisability of continuous posets
