On the construction of domains of formal balls for uniform spaces

DOI10.1016/j.topol.2014.02.015zbMath1295.54029OpenAlexW1972747803MaRDI QIDQ2447136

Salvador Romaguera, Miguel Angel Sánchez-Granero, Manuel Sanchis

Publication date: 24 April 2014

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

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

zbMATH Keywords

uniform spaceformal ballcontinuous poset

Mathematics Subject Classification ID

Uniform structures and generalizations (54E15) Continuous lattices and posets, applications (06B35)

Related Items

On the domain of formal balls of the Sorgenfrey quasi-metric space ⋮ T-complete KM-fuzzy metric spaces via domain theory ⋮ Splitting metrics by \(T_0\)-quasi-metrics ⋮ The relationships between KM-fuzzy quasi-metric spaces and the associated posets of formal balls

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weightable quasi-uniformities
• Complexity spaces as quantitative domains of computation
• Generalized ultrametric spaces in quantitative domain theory
• A computational model for metric spaces
• Computable Banach spaces via domain theory
• Weighted colimits and formal balls in generalized metric spaces
• Approximation of metric spaces by partial metric spaces
• A characterization of partial metrizability: Domains are quantifiable.
• Bounded complete models of topological spaces
• 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