D-completions and the d-topology

DOI10.1016/J.APAL.2008.06.019zbMATH Open1172.54016OpenAlexW2005449309MaRDI QIDQ1023293FDOQ1023293

Authors: 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

Recommendations

• Completions, comonoids, and topological spaces
• On \(D\)-compact topological spaces
• \(D\)-spaces and the associated topology
• scientific article; zbMATH DE number 510315
• scientific article; zbMATH DE number 3949277
• On d-properties of topological spaces
• scientific article; zbMATH DE number 1811744
• scientific article; zbMATH DE number 3951524
• scientific article; zbMATH DE number 3973807
• \(p\)-topological Cauchy completions

zbMATH Keywords

Scott topologydcpo\(T_0\)-spacecategorical reflectionmonotone convergence spacesobrificationdirected completions

Mathematics Subject Classification ID

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

Cites Work

• Continuous Lattices and Domains
• \(T_ 0\)-spaces and pointwise convergence
• Continuity of posets via Scott topology and sobrification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quasicontinuity of posets via Scott topology and sobrification
• Title not available (Why is that?)
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Compactly generated domain theory
• Minimal bases, ideal extensions, and basic dualities
• Title not available (Why is that?)
• Relative regular closedness and \(\pi\)-valuations
• The bounded-complete hull of an \(\alpha\)-space
• Title not available (Why is that?)
• On \(d\)-spaces
• Dcpo-completion of posets
• On a Reflective Subcategory of the Category of all Topological Spaces
• On the sobrification remainder sX-X
• Sobrification of partially ordered sets
• Title not available (Why is that?)
• Quotients of countably based spaces are not closed under sobrification

Cited In (58)

• Some open problems on well-filtered spaces and sober spaces
• A direct characterization of the monotone convergence space completion
• \textbf{K}-reflections of product spaces
• Join-completions of \(L\)-ordered sets
• Observationally-induced algebras in domain theory
• Web spaces and worldwide web spaces: topological aspects of domain theory
• Continuity and directed completion of topological spaces
• Extending algebraic operations to D-completions
• The answer to a problem posed by Zhao and Ho
• \(D\)-completions of net convergence structures
• Yoneda completion via a dcpo completion of its poset of formal balls
• Products and projective limits of continuous valuations on \(T_0\) spaces
• On quasi-metrizable \(d\)-spaces
• A non-topological view of dcpos as convergence spaces.
• First countability, \( \omega \)-well-filtered spaces and reflections
• Well-filterifications of topological spaces
• On \(T_0\) spaces determined by well-filtered spaces
• On H-sober spaces and H-sobrifications of \(T_0\) spaces
• On some results related to sober spaces
• The Cuntz semigroup and domain theory
• A direct approach to \(K\)-reflections of \(T_0\) spaces
• On well-filtered reflections of \(T_0\) spaces
• Title not available (Why is that?)
• Non-reflective categories of some kinds of weakly sober spaces
• Cartesian closed extensions of subcategories of CONT
• \(SI\)-continuous spaces and continuous posets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Markovian dynamics of concurrent systems
• Extending algebraic operations to D-completions.
• On fuzzy monotone convergence \(\mathcal{Q}\)-cotopological spaces
• Completing simple valuations in K-categories
• On topologies defined by irreducible sets
• \(K\)-completions of \(T_0\)-spaces
• On function spaces equipped with Isbell topology and Scott topology
• On \(P\)-sober spaces
• Closure spaces and completions of posets
• A unified method for completions of posets and closure spaces
• Existence of well-filterifications of \(T_0\) topological spaces
• Dcpo-completion of posets
• Directed spaces defined through \(\text{ T}_0\) spaces with specialization order
• Hofmann-Mislove type definitions of non-Hausdorff spaces
• Dynamic Topological Completeness for
• The \(R\)-completion of closure spaces
• Tensor products and regularity properties of Cuntz semigroups
• \(\theta\)-continuity and \(D_\theta\)-completion of posets
• \(\Pi^0_2\) subsets of domain-complete spaces and countably correlated spaces
• First-countability, \( \omega \)-Rudin spaces and well-filtered determined spaces
• Title not available (Why is that?)
• Upper powerdomains of quasicontinuous dcpos
• Martínez frames
• To the theory of \(\mathbf{H} \)-sober spaces
• Title not available (Why is that?)
• A few Projective classes of (non-Hausdorff) topological spaces
• \(D\)-completion, well-filterification and sobrification
• Semantics for a lambda calculus for string diagrams
• The reflectivity of some categories of \(T_0\) spaces in domain theory
• Statures and sobrification ranks of Noetherian spaces

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1023293)