Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1661

Preprint Number 1661

Previous Next Preprint server

1661. Simon André (IRMAR)
On Tarski's problem for virtually free groups

Submission date: 18 October 2019


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.

Last updated: March 23 2021 10:21 Please send your corrections to: