Intrinsic approach spaces on domains
From MaRDI portal
Publication:645198
DOI10.1016/j.topol.2011.01.025zbMath1231.06012MaRDI QIDQ645198
Eva Lowen-Colebunders, Stefan De Wachter, Bob Lowen
Publication date: 8 November 2011
Published in: Topology and its Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.topol.2011.01.025
approach space; Scott topology; continuous dcpo; weightable quasi-metric; kernel condition; quantifiability of domains
54A05: Topological spaces and generalizations (closure spaces, etc.)
54B30: Categorical methods in general topology
06B35: Continuous lattices and posets, applications
06F30: Ordered topological structures
Related Items
The notion of closedness and D-connectedness in Quantale-valued approach spaces, Closure operators in convergence approach spaces, Fixed points of contractive maps on dcpo's, T₁ Approach Spaces, An alternative description of approach spaces via approach cores, Weightable quasi-uniformities, An application of approach theory to the relative Hausdorff measure of non-compactness for the Wasserstein metric, Complexity analysis via approach spaces
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Applications of the complexity space to the general probabilistic divide and conquer algorithms
- A computational model for metric spaces
- \(\mathbb{T}^\omega\) as a universal domain
- A characterization of partial metrizability: Domains are quantifiable.
- Quantitative continuous domains
- Initially dense objects for metrically generated theories
- Partial Metric Topology
- Spaces of maximal points
- Continuous Lattices and Domains