Open Research Index

FS-domains are not always RB-domains

Yuxu Chen, Hui Kou, Zhenchao Lyu

arXivarxiv/2607.00568Jul 1, 2026math.GNscore 0

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.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2607.00568
curl -X POST /api/v1/records/arxiv/2607.00568/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.00568/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'