1 problem

Let $n>1$ and $m\geq 1$, and let $X\subseteq (\mathbf{R}^{n})^{m}\cong\mathbf{R}^{mn}$ be definable using $L$, with the relation $X$ preserved under isometries of $\mathbf{R}^{n}$.…