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

DOI10.1112/plms/pdn052zbMath1241.20049OpenAlexW2072974047MaRDI QIDQ5322043

Zlil Sela

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

zbMATH Keywords

quantifier eliminationfinitely generated groupshyperbolic groupsfree groupsequations over groupselementary theorieselementary equivalenceselementary setsTarski problemspositive sentencesMakanin-Razborov diagramsfirst order theoriessolutions to systems of equations

Mathematics Subject Classification ID

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

The free group does not have the finite cover property ⋮ Limit groups for relatively hyperbolic groups. I: The basic tools. ⋮ The JSJ-decompositions of one-relator groups with torsion. ⋮ Limit groups and groups acting freely on \(\mathbb{R}^n\)-trees. ⋮ Existential questions in (relatively) hyperbolic groups. ⋮ The structure of limit groups over hyperbolic groups ⋮ Hyperbolic towers and independent generic sets in the theory of free groups. ⋮ Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups ⋮ Topologizability of countable equationally Noetherian algebras ⋮ Algebraic geometry over algebraic structures. II: Foundations ⋮ Co‐Hopfian virtually free groups and elementary equivalence ⋮ Krull dimension of solvable groups. ⋮ First order rigidity of non-uniform higher rank arithmetic groups ⋮ Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023 ⋮ The triviality problem for profinite completions ⋮ Two remarks on the first-order theories of Baumslag-Solitar groups ⋮ Random groups do not split. ⋮ Groups acting on hyperbolic spaces -- a survey ⋮ Discrete representations of finitely generated groups into PSL(2,R)${\rm PSL}(2,\mathbb {R})$ ⋮ Explicit bounds for fixed subgroups of endomorphisms of free products ⋮ Representations via differential algebras and equationally Noetherian algebras ⋮ Defining \(R\) and \(G(R)\) ⋮ Formal solutions and the first‐order theory of acylindrically hyperbolic groups ⋮ On the model theory of higher rank arithmetic groups ⋮ Tarski-type problems for free associative algebras ⋮ What does a group algebra of a free group ``know about the group? ⋮ Diophantine geometry over groups. VIII: Stability. ⋮ On systems of equations over free products of groups. ⋮ A topological zero-one law and elementary equivalence of finitely generated groups ⋮ Makanin-Razborov diagrams for hyperbolic groups ⋮ On equationally Noetherian and residually finite groups ⋮ Algebraic and definable closure in free groups ⋮ Undecidability of equations in free Lie algebras ⋮ Elementary equivalence vs. commensurability for hyperbolic groups ⋮ Algebraic subgroups of acylindrically hyperbolic groups ⋮ ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS ⋮ DEFINABLE SETS IN A HYPERBOLIC GROUP ⋮ Homogeneity in the free group. ⋮ Quantitative residual properties of Γ-limit groups ⋮ Hyperbolicity and cubulability are preserved under elementary equivalence ⋮ On Fully Residually- Groups ⋮ Trees of cylinders and canonical splittings. ⋮ Simple loop conjecture for limit groups ⋮ On the Universal Theory of Torsion and Lacunary Hyperbolic Groups ⋮ Makanin-Razborov diagrams over free products. ⋮ Fraïssé limits of limit groups ⋮ On equations and first-order theory of one-relator monoids ⋮ On systems of equations over free partially commutative groups ⋮ First-order aspects of Coxeter groups ⋮ Comparing axiomatizations of free pseudospaces ⋮ Elementary subgroups of virtually free groups ⋮ Homomorphisms to acylindrically hyperbolic groups I: Equationally noetherian groups and families ⋮ Fields definable in the free group ⋮ Limits of (certain) CAT(0) groups. I: Compactification. ⋮ Equations in acylindrically hyperbolic groups and verbal closedness ⋮ Towers and elementary embeddings in toral relatively hyperbolic groups ⋮ Limit groups for relatively hyperbolic groups. II: Makanin-Razborov diagrams. ⋮ Acylindrical hyperbolicity and existential closedness ⋮ Commutators in $SL_2$ and Markoff surfaces I