Bicompleting weightable quasi-metric spaces and partial metric spaces

DOI10.1007/BF02871458zbMath1098.54027MaRDI QIDQ2569761

Enrique Alfonso Sánchez-Pérez, S. Oltra, Salvador Romaguera

Publication date: 26 April 2006

Published in: Rendiconti del Circolo Matemàtico di Palermo. Serie II (Search for Journal in Brave)

zbMATH Keywords

partial metricbicompletioncomplexity spaceweightable quasi-metricdomain of words

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complete metric spaces (54E50) Semantics in the theory of computing (68Q55) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Real-valued functions in general topology (54C30)

Related Items

A new contribution to the fixed point theory in partial quasi-metric spaces and its applications to asymptotic complexity analysis of algorithms ⋮ On the bicompletion of a partial quasi-metric space and \(T_0\)-quasi-metric spaces ⋮ On fixed point theory in topological posets, extended quasi-metric spaces and an application to asymptotic complexity of algorithms ⋮ Partial quasi-metrics ⋮ Fixed point results for single and multivalued maps on partial extended \(b\)-metric spaces ⋮ Fixed point results under various contractive conditions in partial metric spaces ⋮ On fixed point theory in partial metric spaces ⋮ Unnamed Item ⋮ Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation ⋮ Conjugate families of mappings in pointwise metric fuzzy lattices ⋮ \(L\)-partial metrics and their topologies ⋮ New fixed point results in partial quasi-metric spaces ⋮ Nonlinear contractions in \(0\)-complete partial metric spaces ⋮ Weightable quasi-uniformities ⋮ Fixed point of \(T\)-Hardy-Rogers contractive mappings in partially ordered partial metric spaces ⋮ A generalization of Prešić type mappings in 0-complete ordered partial metric spaces ⋮ Fractal dimension for fractal structures: applications to the domain of words ⋮ Unnamed Item ⋮ Fixed point theorems in generalized metric spaces with applications to computer science ⋮ The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science ⋮ New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs ⋮ A Nemytskii-Edelstein type fixed point theorem for partial metric spaces ⋮ Some questions on partial metric spaces ⋮ A quantitative computational model for complete partial metric spaces via formal balls ⋮ On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics ⋮ Qualitative versus quantitative fixed point techniques in computer science

Cites Work

• PCF extended with real numbers
• Quasi-metric properties of complexity spaces
• The Smyth Completion
• Partial Metric Topology
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bicompleting weightable quasi-metric spaces and partial metric spaces