2000 character limit reached
Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group (1303.0760v8)
Published 4 Mar 2013 in math.GR
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.