D-completions and the \(d\)-topology
DOI10.1016/j.apal.2008.06.019zbMath1172.54016MaRDI QIDQ1023293
Klaus Keimel, Jimmie D. Lawson
Publication date: 11 June 2009
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2008.06.019
Scott topology; dcpo; \(T_0\)-space; categorical reflection; monotone convergence space; sobrification; directed completions
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
54A10: Several topologies on one set (change of topology, comparison of topologies, lattices of topologies)
54D35: Extensions of spaces (compactifications, supercompactifications, completions, etc.)
06B35: Continuous lattices and posets, applications
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quasicontinuity of posets via Scott topology and sobrification
- Dcpo-completion of posets
- \(T_ 0\)-spaces and pointwise convergence
- On the sobrification remainder sX-X
- Sobrification of partially ordered sets
- Relative regular closedness and \(\pi\)-valuations
- The bounded-complete hull of an \(\alpha\)-space
- Comparing Cartesian closed categories of (core) compactly generated spaces
- On \(d\)-spaces
- Continuity of posets via Scott topology and sobrification
- Continuous Lattices and Domains
- Compactly generated domain theory
- Quotients of countably based spaces are not closed under sobrification
- On a Reflective Subcategory of the Category of all Topological Spaces