Dcpo-completion of posets
From MaRDI portal
Publication:974109
DOI10.1016/j.tcs.2010.02.020zbMath1192.06007OpenAlexW144055994MaRDI QIDQ974109
Publication date: 27 May 2010
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2010.02.020
Related Items (41)
Some open problems on well-filtered spaces and sober spaces ⋮ On \(\mathrm{SI}_2\)-continuous spaces ⋮ Lattices of irreducibly-derived closed sets ⋮ \(C_\sigma\)-unique dcpos and non-maximality of the class of dominated dcpos regarding \(\Gamma\)-faithfulness ⋮ A new dcpo whose Scott topology is well-filtered but not sober ⋮ Non-reflective categories of some kinds of weakly sober spaces ⋮ On quasi-metrizable \(d\)-spaces ⋮ Completing simple valuations in K-categories ⋮ Bounded sobriety and k-bounded sobriety of Q-cotopological spaces ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ On Cartesian closed extensions of non-pointed domains ⋮ A direct characterization of the monotone convergence space completion ⋮ Well-filterifications of topological spaces ⋮ Cartesian closed extensions of subcategories of CONT ⋮ On \(P\)-sober spaces ⋮ On fuzzy monotone convergence \(\mathcal{Q}\)-cotopological spaces ⋮ Topological representations of Lawson compact algebraic L-domains and Scott domains ⋮ A uniform approach to completions of posets ⋮ Directed complete poset models of T1 spaces ⋮ θ-continuity and Dθ-completion of posets ⋮ Unnamed Item ⋮ \textbf{K}-reflections of product spaces ⋮ On topologies defined by irreducible sets ⋮ The answer to a problem posed by Zhao and Ho ⋮ Yoneda completion via a dcpo completion of its poset of formal balls ⋮ Countably sober spaces ⋮ A new view of relationship between atomic posets and complete (algebraic) lattices ⋮ Join-completions of \(L\)-ordered sets ⋮ Unnamed Item ⋮ The order-sobrification monad ⋮ A generalization of the Dedekind-MacNeille completion ⋮ A direct approach to \(K\)-reflections of \(T_0\) spaces ⋮ The \(R\)-completion of closure spaces ⋮ On almost sober spaces ⋮ D-completions and the \(d\)-topology ⋮ \(SI\)-continuous spaces and continuous posets ⋮ A unified approach to some non-Hausdorff topological properties ⋮ A unified method for completions of posets and closure spaces ⋮ Uniqueness of directed complete posets based on Scott closed set lattices ⋮ 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
- D-completions and the \(d\)-topology
- The N-compactness in L-fuzzy topological spaces
- \({\mathcal Z}\)-continuous posets and their topological manifestation
- The essence of ideal completion in quantitative form
- On continuous noncomplete lattices.
- Continuity of posets via Scott topology and sobrification
- Lim-inf convergence in partially ordered sets
- SHEAVES OF BANACH SPEACES
- Completion of a Construction of Johnstone
- Continuous Lattices and Domains
- Presenting Dcpos and Dcpo Algebras
- Completely Distributive Complete Lattices
- \(Z\)-join spectra of \(Z\)-supercompactly generated lattices
This page was built for publication: Dcpo-completion of posets
