Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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, or the o-minimal 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!

share|cite|improve this question
You say that the equivalence relation is "on a countable set", but is this really what you mean? I would think it lives instead on some uncountable Polish space... – Joel David Hamkins Aug 23 '13 at 18:53
Yes, that's my mistake. I meant the universes are countable, but of course the space of models is a Polish space (and typically uncountable). Editing now. – Richard Rast Aug 23 '13 at 18:57
I guess you can reduce to the case of adding just one constant, since either there is no change adding them one at a time, or else there is a change, which occurs when adding one more over what one has so far. – Joel David Hamkins Aug 23 '13 at 21:09

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.