Year: 2019
Type: preprint
Abstract: We give a complete classification of finitely generated virtually free groups up to $\forall\exists$-elementary equivalence. As a corollary, we give an algorithm that takes as input two finite presentations of virtually free groups, and decides whether these groups have the same $\forall\exists$-theory or not.
Source: arXiv (Cornell University)
Author: André, Simon
Institution: Institut de recherche mathématique de Rennes
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2980638658