D-completions and the \(d\)-topology

DOI10.1016/J.APAL.2008.06.019zbMath1172.54016OpenAlexW2005449309MaRDI 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 topologydcpo\(T_0\)-spacecategorical reflectionmonotone convergence spacesobrificationdirected completions

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Continuous lattices and posets, applications (06B35)

Related Items (44)

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

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

This page was built for publication: D-completions and the \(d\)-topology