3 papers
math.GN2026
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…
math.GN2026
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 $\…
math.GN2024
A cone-theoretic barycenter existence theorem
Jean Goubault-Larrecq, Xiaodong Jia
We show that every continuous valuation on a locally convex, locally convex-compact, sober topological cone has a barycenter. This barycenter is unique, and the bary…