MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 564

Preprint Number 564

Previous Next Preprint server


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:

Full text arXiv 1303.0760: pdf, ps.


Last updated: March 9 2013 08:10 Please send your corrections to: