Turing Invariant Sets and the Perfect Set Property

Clovis Hamel, Haim Horowitz, Saharon Shelah

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…