Intrinsic approach spaces on domains

DOI10.1016/J.TOPOL.2011.01.025MaRDI QIDQ645198zbMATH OpenOpenAlexFDO

Authors Eva 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

zbMATH Keywords

approach spacecontinuous dcpokernel conditionquantifiability of domainsScott topologyweightable quasi-metric

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Ordered topological structures (06F30) Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30)

Recommendations

• A characterization of partial metrizability: Domains are quantifiable.
• On Domain Theory over Girard Quantales
• Complexity spaces as quantitative domains of computation
• Quantitative continuous domains
• Fundamentals of Computation Theory

Cites work

• \(\mathbb{T}^\omega\) as a universal domain
• A characterization of partial metrizability: Domains are quantifiable.
• A computational model for metric spaces
• Applications of the complexity space to the general probabilistic divide and conquer algorithms
• Continuous Lattices and Domains
• scientific article; zbMATH DE number 5578311 (Why is no real title available?)
• scientific article; zbMATH DE number 1257185 (Why is no real title available?)
• scientific article; zbMATH DE number 1258304 (Why is no real title available?)
• scientific article; zbMATH DE number 1784847 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• Initially dense objects for metrically generated theories
• Partial Metric Topology
• Quantitative continuous domains
• Spaces of maximal points

Cited in

(10)

• A characterization of partial metrizability: Domains are quantifiable.
• Complexity analysis via approach spaces
• An alternative description of approach spaces via approach cores
• On Domain Theory over Girard Quantales
• Weightable quasi-uniformities
• The notions of closedness and D-connectedness in quantale-valued approach spaces
• An application of approach theory to the relative Hausdorff measure of non-compactness for the Wasserstein metric
• Closure operators in convergence approach spaces
• Fixed points of contractive maps on dcpo's
• T₁ Approach Spaces

This page was built for publication: Intrinsic approach spaces on domains

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