{"id":"arxiv/2607.02251","url":"https://arxiv.org/abs/2607.02251","tags":["math.GN"],"score":0,"title":"Cone domains separate FS-domains from RB-domains","domain":"math.GN","source":"arxiv","authors":["Yuxu Chen"],"reviews":0,"subject":"math.GN","summary":"Let $C$ be a closed, convex, pointed and generating cone in a finite-dimensional real vector space $V$, and let \\( D_C=(-C)\\cup\\{\\bot\\}\\) be the negative cone with a new least element, ordered by the cone order. Keimel proved that these cone domains are FS-domains and asked whether they are always retracts of bifinite domains. We give a sharp answer: \\[D_C\\text{ is an RB-domain}\\quad\\Longleftrightarrow\\quad C\\text{ is simplicial}. \\] Thus every non-simplicial proper cone gives an FS-domain which is not an RB-domain. The proof converts the RB approximation property into finite-valued…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-02","reactions":{}}