One more recursive-theoretic characterization of the Topological Vaught Conjecture

Abstract

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.