Showing math.GNShow all
2 papers · 1 filter
math.GN2026
FS-domains are not always RB-domains
Yuxu Chen, Hui Kou, Zhenchao Lyu
We prove that Lawson's planar closed-disk domain is not an RB-domain. This domain is the dcpo of all closed disks in the Euclidean plane, together with the whole plane as bottom, o…
math.GN2026
Monotone determined spaces via -generated spaces
Yuxu Chen, Hui Kou, Zhenchao Lyu
The category of monotone determined spaces is an extended topological framework for dcpos in domain theory. We first show that monotone determined spaces are exactly the spaces gen…