Almost locally free groups and the genus question

Anthony Gaglione, Dennis Spellman

Sacerdote [Sa] has shown that the non-Abelian free groups satisfy precisely the same universal-existential sentences Th(F${}_2$)$\cap \forall \exists$ in a first-order language L$_o…