Definable Combinatorics of Some Borel Equivalence Relations

William Chan, Connor Meehan

If $X$ is a set, $E$ is an equivalence relation on $X$, and $n\in \omega$, then define $$[X]^n_E = \{(x_0, ..., x_{n - 1}) \in {}^nX : (\forall i,j)(i \neq j \Rightarrow \neg(x_i \ E \…