Publications > Preprint server > Preprint Number 564
Preprint Number 564
564. Olga Kharlampovich and Alexei Myasnikov
Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group
Submission date: 4 March 2013.
We prove that the elementary theory of a torsion-free hyperbolic group is decidable.
Mathematics Subject Classification:
Keywords and phrases:
|Last updated: March 9 2013 08:10||Please send your corrections to:|