On Tarski's problem for virtually free groups

From MaRDI portal
(Redirected from Publication:6327460)




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














This page was built for publication: On Tarski's problem for virtually free groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6327460)