One more recursive-theoretic characterization of the Topological Vaught   Conjecture
  We prove in ZF a recursive-theoretic characterization of the Topological Vaught Conjecture by revisiting the fact that orbits in Polish $G$-spaces are Borel sets. 
Vassilios Gregoriades
math.LO