Games and elementary equivalence of $\mathrm{I}{\mathrm{I}}_1$ factors

Isaac Goldbring, Thomas Sinclair

We use Ehrenfeucht-Fraïssé games to give a local geometric criterion for elementary equivalence of II${}_1$ factors. We obtain as a corollary that two II${}_1$ factors are elementarily…