{"id":"arxiv/2607.25064","url":"https://arxiv.org/abs/2607.25064","tags":["math.MG","math.LO"],"score":0,"title":"Elementary equivalence of convex bodies in affine and projective languages","domain":"math.MG","source":"arxiv","authors":["David Victor Feldman"],"reviews":0,"subject":"math.MG","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-27","reactions":{}}