The space of formal balls and models of quasi-metric spaces
From MaRDI portal
Publication:3625677
DOI10.1017/S0960129509007439zbMath1168.54012OpenAlexW2003261083MaRDI QIDQ3625677
No author found.
Publication date: 6 May 2009
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129509007439
Related Items (21)
On the domain of formal balls of the Sorgenfrey quasi-metric space ⋮ Formal balls of Q-categories ⋮ Quasi-continuous Yoneda complete quasi-metric space ⋮ A characterization of Smyth complete quasi-metric spaces via Caristi's fixed point theorem ⋮ Any \(T_1\) space has a continuous poset model ⋮ A domain-theoretic approach to fuzzy metric spaces ⋮ T-complete KM-fuzzy metric spaces via domain theory ⋮ Local Yoneda completions of quasi-metric spaces ⋮ Weakly contractive multivalued maps and \(w\)-distances on complete quasi-metric spaces ⋮ Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks ⋮ A duality of quantale-enriched categories ⋮ On the construction of domains of formal balls for uniform spaces ⋮ Formal balls in fuzzy quasi-metric spaces ⋮ The relationships between KM-fuzzy quasi-metric spaces and the associated posets of formal balls ⋮ Yoneda completion via a dcpo completion of its poset of formal balls ⋮ An application of a representation theorem for fuzzy metrics to domain theory ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ \(Q\)-functions on quasimetric spaces and fixed points for multivalued maps ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ The formal ball model for -categories
Cites Work
- Unnamed Item
- A computational model for metric spaces
- Chain-complete posets and directed sets with applications
- Weighted colimits and formal balls in generalized metric spaces
- Computation on metric spaces via domain theory
- On right \(K\)-sequentially complete quasi-metric spaces
- Cocompactness and quasi-uniformizability of completely metrizable spaces.
- Recursive quasi-metric spaces.
- On the Yoneda completion of a quasi-metric space
- Quasi-metrizable spaces satisfying certain completeness conditions
- Topological games in domain theory
- Bounded complete models of topological spaces
- Dynamical systems, measures, and fractals via domain theory
- Quasi-uniform completeness in terms of Cauchy nets
- Domain representability and the Choquet game in Moore and BCO-spaces
- Bitopological Spaces
- Spaces of maximal points
This page was built for publication: The space of formal balls and models of quasi-metric spaces
