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 E-mail: Submission date: 4 March 2013. Abstract: 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 10:22 | Please send your corrections to: |