arXiv 2013-08-26 EN An embedding theorem of E₀ with model theoretic applications Kaplan, Itay · Miller, Benjamin D.