6 citations · 15 across the 7 of their papers we have counts for
5 papers · 1 filter
Forbidden substructures for coherence of domains
Rongqi Xiao, Xiaodong Jia
A coherent domain, in the sense of Dana Scott's domain theory, is a domain in which the intersection of every two compact saturated subsets is again compact, when the domain is equ…
Coherence of Smyth powerspaces
Rongqi Xiao, Xiaodong Jia
In this paper, we study when the Smyth powerspace of a topological space is coherent, and prove that is coherent and weakly Hausdorff if and only if $\…
Core-compactness of Smyth powerspaces
Zhenchao Lyu, Xiaodong Jia
We prove that the Smyth powerspace Q(X) of a topological space X is core-compact if and only if X is locally compact. As a straightforward consequence we obtain that the Smyth powe…
Algebras of the extended probabilistic powerdomain monad
Jean Goubault-Larrecq, Xiaodong Jia
We investigate the Eilenberg-Moore algebras of the extended probabilistic powerdomain monad over the category of topological spaces and contin…
Domain-complete and LCS-complete spaces
Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia +1
We study subspaces of continuous dcpos, which we call domain-complete spaces, and subspaces of locally compact sober spaces, which we call LCS-complete spaces. Those in…