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

zbMATH Keywords

Scott topology; dcpo; \(T_0\)-space; categorical reflection; monotone convergence space; sobrification; directed completions

Mathematics Subject Classification ID

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

θ-continuity and D_θ-completion of posets, Tensor products and regularity properties of Cuntz semigroups, Products and projective limits of continuous valuations on T₀ spaces, Observationally-induced algebras in domain theory, Extending algebraic operations to D-completions, On topologies defined by irreducible sets, A unified method for completions of posets and closure spaces, Some open problems on well-filtered spaces and sober spaces, Dcpo-completion of posets, Cartesian closed extensions of subcategories of CONT, The Cuntz semigroup and domain theory, The answer to a problem posed by Zhao and Ho, Yoneda completion via a dcpo completion of its poset of formal balls, Join-completions of \(L\)-ordered sets, First-countability, \( \omega \)-Rudin spaces and well-filtered determined spaces, The \(R\)-completion of closure spaces, Non-reflective categories of some kinds of weakly sober spaces, On quasi-metrizable \(d\)-spaces, Markovian dynamics of concurrent systems, Well-filterifications of topological spaces, First countability, \( \omega \)-well-filtered spaces and reflections, On \(T_0\) spaces determined by well-filtered spaces, On H-sober spaces and H-sobrifications of \(T_0\) spaces, \textbf{K}-reflections of product spaces, Existence of well-filterifications of \(T_0\) topological spaces, A direct approach to \(K\)-reflections of \(T_0\) spaces, \(SI\)-continuous spaces and continuous posets, On well-filtered reflections of \(T_0\) spaces, Closure spaces and completions of posets, A direct characterization of the monotone convergence space completion, Unnamed Item, Web spaces and worldwide web spaces: topological aspects of domain theory

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item