Some new results on Borel irreducibility of equivalence relations
Vladimir Kanovei, Michael Reeken
Abstract
We prove that orbit equivalence relations (ERs, for brevity) of generically turbulent Polish actions are not Borel reducible to ER s of a family which includes Polish actions of S∞, the group of all permutations of N, and is closed under the Fubini product modulo the ideal Fin of all finite sets, and some other operations. Our second main result shows that T2, the equivalence relation called ``the equality of countable sets of the reals'', is not Borel reducible to another family of ERs which includes continuous actions of Polish CLI groups, Borel equivalence relations with Gδclasses, some ideals, and is closed under the Fubini product over Fin. Both results and their corollaries extend some earlier irreducibility theorems by Hjorth and Kechris.
Create a lesson
Related papers
A Reflection Calculus for Bar Induction and the Linearity of Consistency Strength Ordering
Fedor Pakhomov, Vlad Lazar
What David Teaches Goliath: An Inevitable Extension of ZFC
Ali Enayat
Measures in Nairian models, I
Gabriel Goldberg, Grigor Sargsyan
On separable pairs of fields and beautiful pairs of separably closed valued fields
Zhengqing He, Martin Hils
Fragments of SRP, the nonstationary ideal, and diagonal reflection
Gunter Fuchs, Hiroshi Sakai
Functional Projection and Complexity Reduction
Vera Fischer, Yurii Khomskii, Yipu Li et al.