On the construction of domains of formal balls for uniform spaces
From MaRDI portal
Publication:2447136
DOI10.1016/J.TOPOL.2014.02.015zbMATH Open1295.54029OpenAlexW1972747803MaRDI QIDQ2447136FDOQ2447136
Authors: Salvador Romaguera, Miguel Angel Sanchez 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
Recommendations
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.
- Bounded complete models of topological spaces
- 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
- Title not available (Why is that?)
- Spaces of maximal points
- Title not available (Why is that?)
- Continuous Lattices and Domains
- Weighted colimits and formal balls in generalized metric spaces
- Complexity spaces as quantitative domains of computation
- Weightable quasi-uniformities
- Title not available (Why is that?)
- Generalized ultrametric spaces in quantitative domain theory
Cited In (10)
- Title not available (Why is that?)
- Approaching metric domains
- On the domain of formal balls of the Sorgenfrey quasi-metric space
- Splitting metrics by \(T_0\)-quasi-metrics
- Generalized ultrametric spaces in quantitative domain theory
- Representations of complete uniform spaces via uniform domains
- The relationships between KM-fuzzy quasi-metric spaces and the associated posets of formal balls
- T-complete KM-fuzzy metric spaces via domain theory
- A note on the poset of formal balls of a metric space
- Uniform domains and uniform spaces (abstract)
This page was built for publication: On the construction of domains of formal balls for uniform spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2447136)