1 problem

Let $\mathbb E_1$ denote eventual agreement on sequences of reals, and let $F$ be a treeable Borel equivalence relation. Say that $F$ is essentially countable when it is Borel-redu…