On the domain of formal balls of the Sorgenfrey quasi-metric space

DOI10.1016/j.topol.2015.12.086zbMath1337.54018OpenAlexW2239328615MaRDI QIDQ266334

F. Blanchet-Sadri, M. Dambrine

Publication date: 13 April 2016

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

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

zbMATH Keywords

\(\omega\)-domainformal ballquantitative domainquasi-metric spacethe Sorgenfrey line

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Continuous lattices and posets, applications (06B35) Connections of general topology with other structures, applications (54H99)

Related Items

Extensions of \(T_0\)-quasi-metrics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A domain-theoretic approach to fuzzy metric spaces
• A computational model for metric spaces
• Computable Banach spaces via domain theory
• Approximation of metric spaces by partial metric spaces
• A characterization of partial metrizability: Domains are quantifiable.
• Quantitative continuous domains
• Bounded complete models of topological spaces
• On the construction of domains of formal balls for uniform spaces
• The constructive maximal point space and partial metrizability
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• The space of formal balls and models of quasi-metric spaces
• A quantitative computational model for complete partial metric spaces via formal balls
• Partial Metric Topology
• Spaces of maximal points
• Continuous Lattices and Domains
• Partial metrisability of continuous posets
• Complete partial metric spaces have partially metrizable computational models

This page was built for publication: On the domain of formal balls of the Sorgenfrey quasi-metric space