I am particularly interesting in the case where $T$ is o-minimal, but I would be interested in any theory $T$ (or even an $L_{\omega_1,\omega}$-sentence) which has this property.

Context: view the set of countable models of $T$ (under isomorphism) as an equivalence relation on a Polish space. Take a *finite* set of parameters $A$ (from some model of $T$) and then consider the set of countable models of $T_A$ (under $A$-isomorphism) as another equivalence relation on another Polish space. One could reasonably ask if the first is Borel-reducible to the second, or vice-versa.

In every example I know of, both are Borel-reducible to each other. However proving this in general has eluded me. I believe that in the general case (or even in the first-order-theory case) this is an open question. So I would like to know if this is the case, and either way, a link to any published results on this topic (or relevant examples either way).

Thank you!

Edit: the o-minimal case is no longer open (see https://arxiv.org/abs/1408.5876 ) but the more general case of this question is still open, as far as I know.