Trace definability III: Infinite dimensional space over a model of $T$

We show that for a number of theories $T^{\ast }$ of model-theoretic interest there is a simpler theory $T$ and $\kappa \ge {\mathrm{\aleph }}_0$ such that $T^{\ast }$ is trace equivalent to the theory of $\kappa$-dimensional space over a model of $T$.