English

Every CBER is smooth below the Carlson-Simpson generic partition

Logic 2022-06-30 v1 Combinatorics Dynamical Systems

Abstract

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

Cite

@article{arxiv.2206.14224,
  title  = {Every CBER is smooth below the Carlson-Simpson generic partition},
  author = {Aristotelis Panagiotopoulos and Allison Wang},
  journal= {arXiv preprint arXiv:2206.14224},
  year   = {2022}
}
R2 v1 2026-06-24T12:07:26.481Z