Every CBER is smooth below the Carlson–Simpson generic partition

Autorzy

Dane publikacji

  • DOI: 10.4064/fm255-12-2022

  • Tom 262

  • Zeszyt 1

  • Czasopismo: Fundamenta Mathematicae

  • Strony: 85-103

  • Data publikacji online: 27.02.2023

Liczba wyświetleń: 0

Liczba pobrań: 0

Abstrakt

Let $E$ be a countable Borel equivalence relation on the space $\mathcal {E}_{\infty }$ of all infinite partitions of the natural numbers. We show that $E$ coincides with equality below a Carlson–Simpson generic element of $\mathcal {E}_{\infty }$. In contrast, we show that there is a hypersmooth equivalence relation on $\mathcal {E}_{\infty }$ which is Borel bireducible with $E_1$ on every Carlson–Simpson cube. Our arguments are classical and require no background in forcing.