Preservation of elementarity by tensor products of tracial von Neumann algebras

Ilijas Farah, Saeed Ghasemi

Tensoring with type I algebras preserves elementary equivalence in the category of tracial von Neumann algebras. The proof involves a novel and general Feferman--Vaught-type theore…