Turing Invariant Sets and the Perfect Set Property

2019/12/29 by Hamel, Clovis, Horowitz, Haim, Shelah, Saharon
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1912.12558

Abstract

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.

Related

• Sets of real numbers closed under Turing equivalence: Applications to fields, orders and automorphisms
• TD implies CCR
• Some consequences of TD and sTD
• The consistency strength of the perfect set property for universally Baire sets of reals
• On a question of Slaman and Steel