Complete partial metric spaces have partially metrizable computational models

DOI10.1080/00207160.2011.559229MaRDI QIDQ5891573zbMATH OpenOpenAlexFDO

Authors Salvador Romaguera, Petro Tirado, O. Valero

Publication date 15 May 2012

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10251/46841

zbMATH Keywords

complete partial metriccomputational modeldomainformal ballScott topology

Mathematics Subject Classification ID

Partial orders, general (06A06) Continuous lattices and posets, applications (06B35) Complete metric spaces (54E50)

Recommendations

• A quantitative computational model for complete partial metric spaces via formal balls
• Completions of partial metrics into value lattices
• Approximation of metric spaces by partial metric spaces
• Compactness and completeness in partial metric spaces
• Partial metric spaces

Cites work

• A characterization of partial metrizability: Domains are quantifiable.
• A computational model for metric spaces
• A quantitative computational model for complete partial metric spaces via formal balls
• A quasi-metric computational model from modular functions on monoids
• Approximation of metric spaces by partial metric spaces
• Bounded complete models of topological spaces
• Computable Banach spaces via domain theory
• Denotational semantics for programming languages, balanced quasi-metrics and fixed points
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• Generalized ultrametric spaces in quantitative domain theory
• Partial Metric Topology
• Partial metrisability of continuous posets
• Quantitative continuous domains
• Spaces of maximal points
• The constructive maximal point space and partial metrizability
• The space of formal balls and models of quasi-metric spaces
• Weighted colimits and formal balls in generalized metric spaces

Cited in

(13)

• A computational model for metric spaces
• Bounded complete models of topological spaces
• Fixed point results on ordered Prešić type mappings
• Fixed point theorems in generalized metric spaces with applications to computer science
• A study on the relationship between relaxed metrics and indistinguishability operators
• On the domain of formal balls of the Sorgenfrey quasi-metric space
• Computational Models of Certain Hyperspaces of Quasi-metric Spaces
• A quantitative computational model for complete partial metric spaces via formal balls
• On fixed point theory in partial metric spaces
• scientific article; zbMATH DE number 1231569 (Why is no real title available?)
• A characterisation of weightable quasi-metric generating functions
• On -projective expansion, quasi partial metrics aggregation with an application
• The lambda calculus is quantifiable

This page was built for publication: Complete partial metric spaces have partially metrizable computational models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5891573)