DS-partial metric spaces and domain theory

DOI10.1016/j.topol.2024.108829OpenAlexW4390949011WikidataQ129744315 ScholiaQ129744315MaRDI QIDQ6191250

Mingjie Cai, Zhenhua Jia, Qing-Guo Li

Publication date: 9 February 2024

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

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

zbMATH Keywords

stablepartial metricsemivaluationsober\(\mathrm{d}\)-space

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Topological spaces and generalizations (closure spaces, etc.) (54A05) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Topological lattices (06B30)

Cites Work

• Partially ordered metric spaces produced by \(T_{0}\)-quasi-metrics
• Generalized contractions on partial metric spaces
• Partial metric monoids and semivaluation spaces
• Partial quasi-metrics
• Approximation of metric spaces by partial metric spaces
• A characterization of partial metrizability: Domains are quantifiable.
• Quantitative continuous domains
• The correspondence between partial metrics and semivaluations
• Metrizability of partial metric spaces
• On quasi-metrizable \(d\)-spaces
• Compactness and completeness in partial metric spaces
• Properties and principles on partial metric spaces
• A quantitative computational model for complete partial metric spaces via formal balls
• Partial Metric Topology
• Continuous Lattices and Domains
• Partial metrisability of continuous posets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: DS-partial metric spaces and domain theory