On the First-Order Free Group Factor Alternative

MaRDI QIDQ6436540zbMATH OpenFDO

Authors Isaac Goldbring, Jennifer Pi

Publication date 14 May 2023

Abstract: We investigate the problem of elementary equivalence of the free group factors, that is, do all free group factors $L(mathbb{F}_n)$ share a common first-order theory? We establish a trichotomy of possibilities for their common first-order fundamental group, as well as several possible avenues for establishing a dichotomy in direct analog to the free group factor alternative of Dykema and Radulescu. We also show that the $forallexists$-theories of the interpolated free group factors are increasing, and use this to establish that the dichotomy holds on the level of $forallexists$-theories. We conclude with some observations on related problems.

This page was built for publication: On the First-Order Free Group Factor Alternative

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6436540)