Elementary equivalence of convex bodies in affine and projective languages
Convex subsets of R^n carry two first-order structures: barycentric (affine) structure, with operations C_l(p,q)=(1-l)p+lq for l in [0,1], and betweenness (projective) structure, with ternary relation B(a,x,b) meaning x lies in [a,b]. Isomorphism means affine equivalence in the first and, for n at least 2 and sets open or closed, projective equivalence in the second. We ask when elementary equivalence already determines the body. Main theorem: two compact convex bodies of any dimension, with no regularity hypotheses, are elementarily equivalent in the barycentric language if and only if they…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.25064
curl -X POST /api/v1/records/arxiv/2607.25064/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.25064/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'