4.4 Article

Diophantine geometry over groups VII: The elementary theory of a hyperbolic group

Journal

PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY
Volume 99, Issue -, Pages 217-273

Publisher

WILEY
DOI: 10.1112/plms/pdn052

Keywords

-

Categories

Funding

  1. Israel academy of sciences fellowship
  2. NSF [DMS9729992]

Ask authors/readers for more resources

This paper generalizes our work on the structure of sets of solutions to systems of equations in a free group, projections of such sets, and the structure of elementary sets defined over a free group, to a general torsion-free (Gromov) hyperbolic group. In particular, we show that every definable set over such a group is in the Boolean algebra generated by AE sets, prove that hyperbolicity is a first-order invariant of a finitely generated group, and obtain a classification of the elementary equivalence classes of torsion-free hyperbolic groups. Finally, we present an effective procedure to decide if two given torsion-free hyperbolic groups are elementarily equivalent.

Authors

I am an author on this paper
Click your name to claim this paper and add it to your profile.

Reviews

Primary Rating

4.4
Not enough ratings

Secondary Ratings

Novelty
-
Significance
-
Scientific rigor
-
Rate this paper

Recommended

No Data Available
No Data Available