On Tarski's problem for virtually free groups
Group Theory
2019-10-21 v1 Logic
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.
Cite
@article{arxiv.1910.08464,
title = {On Tarski's problem for virtually free groups},
author = {Simon André},
journal= {arXiv preprint arXiv:1910.08464},
year = {2019}
}
Comments
81 pages