Decidability of definability issues in the theory of real addition

Alexis Bès, Christian Choffrut

Given a subset of $X\subseteq {\mathbb{R}}^n$ we can associate with every point $x\in {\mathbb{R}}^n$ a vector space $V$ of maximal dimension with the property that for some ball c…