Submission date: 18 October 2019

Abstract:

We give a complete classification of finitely generated virtually free groups up to ∀∃-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 ∀∃-theory or not.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1910.08464: pdf, ps.