DEFINABLE SETS IN A HYPERBOLIC GROUP

DOI10.1142/S021819671350001XzbMath1282.20021arXiv1111.0577MaRDI QIDQ4916248

O. G. Kharlampovich, Alexei G. Myasnikov

Publication date: 22 April 2013

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1111.0577

zbMATH Keywords

primitive elements; hyperbolic groups; free groups; first-order formulae; definable sets

Mathematics Subject Classification ID

20A15: Applications of logic to group theory

20E05: Free nonabelian groups

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

20F67: Hyperbolic groups and nonpositively curved groups

03C40: Interpolation, preservation, definability

Related Items

Applications of L systems to group theory, Unnamed Item, DEFINABLY SIMPLE STABLE GROUPS WITH FINITARY GROUPS OF AUTOMORPHISMS, Fields definable in the free group, On Fully Residually- Groups, On asymptotic properties of verbal subsets in a group., Algebraic subgroups of acylindrically hyperbolic groups, The triviality problem for profinite completions, Learning pattern languages over groups, What does a group algebra of a free group ``know about the group?, The complexity of verbal languages over groups, Theories of relatively free solvable groups with extra predicate, Bi-interpretability of some monoids with the arithmetic and applications, Prime and homogeneous rings and algebras, On the (non) superstable part of the free group, Learning Pattern Languages over Groups

Cites Work

• Elementary theory of free non-abelian groups.
• Canonical representatives and equations in hyperbolic groups
• Implicit function theorem over free groups.
• ON RESIDUALING HOMOMORPHISMS AND G-SUBGROUPS OF HYPERBOLIC GROUPS
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group