Bounded complete models of topological spaces

DOI10.1016/j.topol.2003.12.001zbMath1054.06004MaRDI QIDQ1877616

Ralph Kopperman, Paweł Waszkiewicz, 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 space; domain theory; bitopological space; dcpo; quasiuniformity; bounded complete domain; quasiproximity

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

54D35: Extensions of spaces (compactifications, supercompactifications, completions, etc.)

54C25: Embedding

06B35: Continuous lattices and posets, applications

06F30: Ordered topological structures

Related Items

Some of Melvin Henriksen's contributions to spaces of ideals, Any \(T_1\) space has a continuous poset model, Completions of partial metrics into value lattices, Domain representability and the Choquet game in Moore and BCO-spaces, Domain theoretic characterisations of quasi-metric completeness in terms of formal balls, The space of formal balls and models of quasi-metric spaces, A quantitative computational model for complete partial metric spaces via formal balls

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