1 problem

Let ${\mathcal T}_{\infty}$ be the theory under consideration, and let $\sim$ be a definable equivalence relation over ${\mathcal T}_{\infty}$. The relation is finite if its equiva…