On topological spaces that have a bounded complete dcpo model

DOI10.1216/RMJ-2018-48-1-141zbMath1427.06001WikidataQ129817512 ScholiaQ129817512MaRDI QIDQ1747336

Dongsheng Zhao, Xiaoyong Xi

Publication date: 7 May 2018

Published in: Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.rmjm/1524880885

zbMATH Keywords

Scott topologymaximal point spacebounded complete dcpo modelCK-filter defined spaceCK-open set

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Continuous lattices and posets, applications (06B35) Topological lattices (06B30)

Related Items (2)

On some topological properties of dcpo models of \(T_1\) topological spaces ⋮ Some results on poset models consisting of compact saturated subsets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• How do domains model topologies?
• Algebraic models for \(T_1\)-spaces
• Any \(T_1\) space has a continuous poset model
• A computational model for metric spaces
• Embedding metric spaces into CPO's
• Computation on metric spaces via domain theory
• Ideal models of spaces.
• The regular spaces with countably based models.
• Order environments of topological spaces
• Bounded complete models of topological spaces
• Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971
• Well-filtered spaces and their dcpo models
• Spaces of maximal points
• Directed complete poset models of T₁ spaces
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• Spaces in which sequences suffice
• Spaces in which sequences suffice II

This page was built for publication: On topological spaces that have a bounded complete dcpo model