REVIEW 1 major objections
Reviewed by Pith at T0; open to challenge.
T0 means a machine referee read the full paper against a public rubric. The mark states how deep the mechanical check went, never who wrote it. the ladder, T0–T4 →
T0 review · grok-4.3
Lawson's planar closed-disk domain is an FS-domain but not an RB-domain.
2026-07-02 01:56 UTC pith:MFBK4A6A
load-bearing objection The paper gives a concrete counterexample by proving Lawson's closed-disk domain is not RB, while treating its FS status as given. the 1 major comments →
FS-domains are not always RB-domains
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
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.
What carries the argument
The planar closed-disk domain, the dcpo of closed disks under reverse inclusion.
Load-bearing premise
The planar closed-disk domain is an FS-domain.
What would settle it
An explicit construction of an RB-directed set of finite elements whose supremum is the closed unit disk.
If this is right
- FS-domains and RB-domains are distinct classes of dcpos.
- The conjecture that every FS-domain is an RB-domain is false.
- Theorems that assume FS-domains coincide with RB-domains must be rechecked for this example.
- Domain constructions relying on the RB property cannot be applied indiscriminately to all FS-domains.
Where Pith is reading between the lines
- Similar reverse-inclusion domains over other compact sets may yield additional separations between the two classes.
- The topological features of the plane that block the RB property could be isolated to classify which FS-domains remain RB.
- Applications that previously used FS and RB interchangeably may need to specify the stronger RB condition when the disk domain appears.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that Lawson's planar closed-disk domain—the dcpo of all closed disks in the Euclidean plane together with the whole plane as bottom, ordered by reverse inclusion—is not an RB-domain. Since the domain is an FS-domain, the result supplies a concrete counterexample showing that FS-domains are not always RB-domains and thereby answers negatively the open question of whether the two classes coincide.
Significance. If the result holds, the significance is high: it resolves a long-standing open problem in domain theory by exhibiting an explicit geometric counterexample rather than an abstract existence argument. The choice of a familiar, low-dimensional domain makes the separation between FS and RB classes directly verifiable.
major comments (1)
- [Abstract] Abstract: the counterexample rests on the assertion that the planar closed-disk domain 'is an FS-domain,' yet the visible text supplies neither a derivation, a lemma, nor a citation for this property. Because the non-RB direction is the claimed contribution, the FS membership is load-bearing; without it the separation claim does not follow.
Simulated Author's Rebuttal
We thank the referee for the careful review and for highlighting the need to substantiate the claim that the planar closed-disk domain is an FS-domain. We address the comment below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [Abstract] Abstract: the counterexample rests on the assertion that the planar closed-disk domain 'is an FS-domain,' yet the visible text supplies neither a derivation, a lemma, nor a citation for this property. Because the non-RB direction is the claimed contribution, the FS membership is load-bearing; without it the separation claim does not follow.
Authors: We agree that the FS-membership assertion requires explicit support in the text. In the revised version we will add either a short lemma deriving the FS property for this specific domain or a precise citation to the result in the literature (Lawson’s original construction or a standard reference establishing that the closed-disk dcpo is FS). This will make the separation between FS and RB fully self-contained. revision: yes
Circularity Check
No circularity detected; non-RB proof is independent of the invoked FS status.
full rationale
The paper's core contribution is a direct proof that the closed-disk domain fails to be an RB-domain. The FS-domain status is invoked via 'since' as a known property of Lawson's construction (external to this manuscript), not derived or fitted inside the paper. No equations reduce to self-definitions, no parameters are fitted then renamed as predictions, and no load-bearing uniqueness theorems are imported via self-citation. The counterexample structure is standard and self-contained once the external FS fact is granted; the new result does not collapse into its inputs.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard definitions and closure properties of FS-domains and RB-domains within the theory of continuous dcpos
read the original abstract
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.