Abstract
|
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.
|
Keywords
type $\mathrm{II}_1$ von Neumann algebras, direct
integrals, preservation of elementarity, Feferman–Vaught
theorem, continuous logic
|
Mathematical Subject Classification
Primary: 03C66, 03C98, 46L10
Secondary: 46L54
|
Milestones
Received: 17 April 2023
Revised: 5 September 2024
Accepted: 18 October 2024
Published: 20 November 2024
|
© 2024 MSP (Mathematical Sciences
Publishers). Distributed under the Creative Commons
Attribution License 4.0 (CC BY). |
Open Access made possible by participating
institutions via Subscribe to Open.
|