On topological spaces that have a bounded complete dcpo model
From MaRDI portal
Publication:1747336
DOI10.1216/RMJ-2018-48-1-141zbMath1427.06001WikidataQ129817512 ScholiaQ129817512MaRDI QIDQ1747336
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
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 T1 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
