Cone domains separate FS-domains from RB-domains
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.02251
curl -X POST /api/v1/records/arxiv/2607.02251/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.02251/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'