Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
Publication:5322043
DOI10.1112/plms/pdn052zbMath1241.20049OpenAlexW2072974047MaRDI QIDQ5322043
No author found.
Publication date: 17 July 2009
Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/plms/pdn052
quantifier eliminationfinitely generated groupshyperbolic groupsfree groupsequations over groupselementary theorieselementary equivalenceselementary setsTarski problemspositive sentencesMakanin-Razborov diagramsfirst order theoriessolutions to systems of equations
Noncommutative algebraic geometry (14A22) Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Hyperbolic groups and nonpositively curved groups (20F67) Basic properties of first-order languages and structures (03C07) Algebraic geometry over groups; equations over groups (20F70)
Related Items (59)
This page was built for publication: Diophantine geometry over groups VII: The elementary theory of a hyperbolic group