2019/10/18 by André, Simon
#FOS: Mathematics #Group Theory (math.GR) #Logic (math.LO)
paper · doi:10.48550/arxiv.1910.08464
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.