Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group
Group Theory
2017-04-17 v8
Abstract
Let G be a torsion free hyperbolic group. We prove that the elementary theory of G is decidable and admits an effective quantifier elimination to boolean combination of AE-formulas. The existence of such quantifier elimination was previously proved by Sela.
Keywords
Cite
@article{arxiv.1303.0760,
title = {Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group},
author = {Olga Kharlampovich and Alexei Myasnikov},
journal= {arXiv preprint arXiv:1303.0760},
year = {2017}
}
Comments
Misprints and errors corrected, referee suggestions addressed. arXiv admin note: substantial text overlap with arXiv:1207.1900