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