1 problem

Let $T$ be a finite-dimensional theory, meaning that it carries a dimension function on interpretable sets satisfying the usual invariance, finiteness, union, and fiber-dimension a…