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 23 2021 09:22||Please send your corrections to:|