Bounded complete models of topological spaces

DOI10.1016/J.TOPOL.2003.12.001zbMath1054.06004OpenAlexW1971960701MaRDI QIDQ1877616

Paweł Waszkiewicz, Ralph Kopperman, Hans-Peter A. Künzi

Publication date: 19 August 2004

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

Full work available at URL: https://doi.org/10.1016/j.topol.2003.12.001

zbMATH Keywords

metric spacedomain theorybitopological spacedcpoquasiuniformitybounded complete domainquasiproximity

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Embedding (54C25) Continuous lattices and posets, applications (06B35) Ordered topological structures (06F30)

Related Items (21)

On some topological properties of dcpo models of \(T_1\) topological spaces ⋮ On the domain of formal balls of the Sorgenfrey quasi-metric space ⋮ Continuous prequantale models of \(T_1\) topological semigroups ⋮ Any \(T_1\) space has a continuous poset model ⋮ Maximal point spaces of dcpos satisfying the Lawson condition ⋮ A domain-theoretic approach to fuzzy metric spaces ⋮ Some of Melvin Henriksen's contributions to spaces of ideals ⋮ On the construction of domains of formal balls for uniform spaces ⋮ Domain theoretical differential calculi ⋮ The relationships between KM-fuzzy quasi-metric spaces and the associated posets of formal balls ⋮ An application of a representation theorem for fuzzy metrics to domain theory ⋮ On topological spaces that have a bounded complete dcpo model ⋮ Domain representability and the Choquet game in Moore and BCO-spaces ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ Lower topological algebraic domain models of topological spaces ⋮ The space of formal balls and models of quasi-metric spaces ⋮ Completions of partial metrics into value lattices ⋮ A quantitative computational model for complete partial metric spaces via formal balls ⋮ Topological semigroups and their prequantale models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Total objects of domains
• Effectively given domains
• C-complete quasi-uniform spaces
• Continuity spaces: Reconciling domains and metric spaces
• Cocompactness and quasi-uniformizability of completely metrizable spaces.
• Polish spaces, computable approximations, and bitopological spaces
• Topological games in domain theory
• Dynamical systems, measures, and fractals via domain theory
• Asymmetry and duality in topology
• Cotopology for metrizable spacees
• All Topologies Come From Generalized Metrics
• Spaces of maximal points
• The space of maximal elements in a compact domain

This page was built for publication: Bounded complete models of topological spaces