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

DOI10.1016/J.TOPOL.2015.12.086zbMATH Open1337.54018OpenAlexW2239328615MaRDI QIDQ266334FDOQ266334

Authors: Salvador Romaguera, M. Schellekens, Petro Tirado, O. Valero 

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

Recommendations

• The space of formal balls and models of quasi-metric spaces
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• On quasi-metrizable \(d\)-spaces
• A few notes on formal balls
• A quantitative computational model for complete partial metric spaces via formal balls

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)

Cites Work

• Approximation of metric spaces by partial metric spaces
• A quantitative computational model for complete partial metric spaces via formal balls
• Partial Metric Topology
• A computational model for metric spaces
• Computable Banach spaces via domain theory
• 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
• Title not available (Why is that?)
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• The space of formal balls and models of quasi-metric spaces
• A domain-theoretic approach to fuzzy metric spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Spaces of maximal points
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Partial metrisability of continuous posets
• Complete partial metric spaces have partially metrizable computational models

Cited In (8)

• A note on the Martin topology of the space of the formal balls
• Title not available (Why is that?)
• Weighted colimits and formal balls in generalized metric spaces
• Title not available (Why is that?)
• On the construction of domains of formal balls for uniform spaces
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• The space of formal balls and models of quasi-metric spaces
• Extensions of \(T_0\)-quasi-metrics

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

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