Turing Invariant Sets and the Perfect Set Property
arXiv:1912.12558
Abstract
We show that "all Turing invariant sets of reals have the perfect set property" implies that all sets of reals have the perfect set property. We also show that this result generalizes to all countable analytic equivalence relations.
Final version