  We show that $ZF+DC+$"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.

Logic