Quasicontinuous domains and the Smyth powerdomain
From MaRDI portal
Publication:265813
DOI10.1016/J.ENTCS.2013.09.015zbMath1334.68127OpenAlexW2037036627WikidataQ113317960 ScholiaQ113317960MaRDI QIDQ265813
Publication date: 12 April 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2013.09.015
M. E. Rudin's lemmapowerdomains of compact saturated subsetsquasicontinuous domainsSmyth powerdomainsober spaces
Related Items (43)
Some open problems on well-filtered spaces and sober spaces ⋮ Quasi-liminf convergence in posets ⋮ The \(\sigma_1\)-topology and \(\lambda_1\)-topology on \(s_1\)-quasicontinuous posets. ⋮ Frink quasicontinuous posets ⋮ QRB, QFS, and the probabilistic powerdomain ⋮ Domain-complete and LCS-complete spaces ⋮ On \(\mathrm{SI}_2\)-continuous spaces ⋮ Quasi-continuous Yoneda complete quasi-metric space ⋮ Induced topologies on the poset of finitely generated saturated sets ⋮ Core-compactness, consonance and the Smyth powerspaces ⋮ Non-reflective categories of some kinds of weakly sober spaces ⋮ Separating minimal valuations, point-continuous valuations, and continuous valuations ⋮ Consistent Smyth powerdomains of topological spaces and quasicontinuous domains ⋮ Weak well-filtered spaces and coherence ⋮ I2-convergence in T0 spaces ⋮ Consistent Hoare powerdomains over dcpos ⋮ Irreducible convergence in \(T_0\) spaces ⋮ \( \mathcal{Z} \)-quasidistributive and \(\mathcal{Z} \)-meet-distributive posets ⋮ First countability, \( \omega \)-well-filtered spaces and reflections ⋮ On \(P\)-sober spaces ⋮ On some results related to sober spaces ⋮ QC-continuity of posets and the Hoare powerdomain of QFS-domains ⋮ Quasicontinuous spaces ⋮ Well-filtered spaces and their dcpo models ⋮ On \(T_0\) spaces determined by well-filtered spaces ⋮ Coincidence of the upper Vietoris topology and the Scott topology ⋮ On H-sober spaces and H-sobrifications of \(T_0\) spaces ⋮ \textbf{K}-reflections of product spaces ⋮ On \(FS_+\)-domains ⋮ A complete Heyting algebra whose Scott space is non-sober ⋮ Characterizations of various continuities of posets via approximated elements ⋮ Some characterizations of weak sobriety and upper spaces ⋮ Categories of locally hypercompact spaces and quasicontinuous posets ⋮ Existence of well-filterifications of \(T_0\) topological spaces ⋮ A direct approach to \(K\)-reflections of \(T_0\) spaces ⋮ On some kinds of weakly sober spaces ⋮ On topological Rudin's lemma, well-filtered spaces and sober spaces ⋮ First-countability, \( \omega \)-Rudin spaces and well-filtered determined spaces ⋮ On almost sober spaces ⋮ Dcpo models of Choquet complete and Baire spaces ⋮ On the equivalence of Rudin's lemma and the Boolean prime ideal theorem ⋮ On well-filtered reflections of \(T_0\) spaces ⋮ All Cartesian closed categories of quasicontinuous domains consist of domains
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quasicontinuous posets
- QFS-domains and their Lawson compactness
- QRB-Domains and the Probabilistic Powerdomain
- Lattice Theory: Foundation
- Some Combinatorial Theorems Equivalent to the Prime Ideal Theorem
- Continuous Lattices and Domains
This page was built for publication: Quasicontinuous domains and the Smyth powerdomain
