Preservation of elementarity by tensor products of tracial von Neumann algebras

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 theorem for direct integrals of metric structures.