An embedding theorem of $\mathbb{E}_{0}$ with model theoretic applications

Abstract

We provide a new criterion for embedding $\mathbb{E}_{0}$, and apply it to equivalence relations in model theory. This generalize the results of the authors and Pierre Simon on the Borel cardinality of Lascar strong types equality, and Newelski's results about pseudo $F_{\sigma}$ groups.