Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group
classification
🧮 math.GR
keywords
elementaryeliminationgrouphyperbolicquantifiertheoryadmitsae-formulas
read the original abstract
Let G be a torsion free hyperbolic group. We prove that the elementary theory of G is decidable and admits an effective quantifier elimination to boolean combination of AE-formulas. The existence of such quantifier elimination was previously proved by Sela.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.