Back-and-forth equivalent group von Neumann algebras
Logic
2024-03-26 v1 Operator Algebras
Abstract
We prove that if and are -back-and-forth equivalent groups (in the sense of computable structure theory) for some ordinal , then their group von Neumann algebras and are also -back-and-forth equivalent. In particular, if and are -back-and-forth-equivalent groups, then and are elementarily equivalent; this is known to fail under the weaker hypothesis that and are merely elementarily equivalent. We extend this result to crossed product von Neumann algebras associated to Bernoulli actions of back-and-forth equivalent groups.
Cite
@article{arxiv.2403.16181,
title = {Back-and-forth equivalent group von Neumann algebras},
author = {Isaac Goldbring and Matthew Harrison-Trainor},
journal= {arXiv preprint arXiv:2403.16181},
year = {2024}
}
Comments
30 pages; first draft; comments welcome!