{"id":"arxiv/2607.00568","url":"https://arxiv.org/abs/2607.00568","tags":["math.GN"],"score":0,"title":"FS-domains are not always RB-domains","domain":"math.GN","source":"arxiv","authors":["Yuxu Chen","Hui Kou","Zhenchao Lyu"],"reviews":0,"subject":"math.GN","summary":"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, ordered by reverse inclusion. Since this domain is an FS-domain, it gives a concrete example of an FS-domain which is not an RB-domain, answering negatively the long-standing open problem in domain theory of whether FS-domains and RB-domains are identical.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-01","reactions":{}}