Diophantine geometry over groups. VIII: Stability.

DOI10.4007/annals.2013.177.3.1zbMath1285.20042OpenAlexW2110756588MaRDI QIDQ1955945

Zlil Sela

Publication date: 19 June 2013

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4007/annals.2013.177.3.1

zbMATH Keywords

stabilityhyperbolic groupsmodel theoryfree groupssystems of equationslimit groupsTarski problemsJSJ decompositionsDiophantine setsdefinable setsequationality

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) 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) Classification theory, stability, and related concepts in model theory (03C45) Basic properties of first-order languages and structures (03C07) Algebraic geometry over groups; equations over groups (20F70)

Related Items (29)

The free group does not have the finite cover property ⋮ Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces ⋮ Nonpositively curved 2-complexes with isolated flats. ⋮ Solution Sets for Equations over Free Groups are EDT0L Languages ⋮ Forking and JSJ decompositions in the free group ⋮ Finding all solutions of equations in free groups and monoids with involution ⋮ Hyperbolic towers and independent generic sets in the theory of free groups. ⋮ More Than 1700 Years of Word Equations ⋮ Independence and freedom ⋮ Supergenerix. ⋮ Homogeneity in relatively free groups. ⋮ Groups acting on hyperbolic spaces -- a survey ⋮ Generic types and generic elements in divisible rigid groups ⋮ Formal solutions and the first‐order theory of acylindrically hyperbolic groups ⋮ Combination of convergence groups. ⋮ Forking and JSJ decompositions in the free group II ⋮ Solutions to twisted word equations and equations in virtually free groups ⋮ Definably amenable NIP groups ⋮ Some lower bounds on Shelah rank in the free group ⋮ On superstable expansions of free abelian groups ⋮ Subgroups of direct products of limit groups. ⋮ On the (non) superstable part of the free group ⋮ Maximal hyperbolic towers and weight in the theory of free groups ⋮ Residually free 3-manifolds ⋮ DEFINABLY SIMPLE STABLE GROUPS WITH FINITARY GROUPS OF AUTOMORPHISMS ⋮ On genericity and weight in the free group ⋮ First-order aspects of Coxeter groups ⋮ Limits of (certain) CAT(0) groups. I: Compactification. ⋮ Limit groups for relatively hyperbolic groups. II: Makanin-Razborov diagrams.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
• Diophantine geometry over groups. II: Completions, closures and formal solutions
• Diophantine geometry over groups. I: Makanin-Razborov diagrams
• Diophantine geometry over groups. III: Rigid and solid solutions.
• Diophantine geometry over groups. V\(_1\): Quantifier elimination. I.
• Diophantine geometry over groups. V\(_2\): Quantifier elimination. II.
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Groupes stables, avec types génériques réguliers
• Closed sets and chain conditions in stable theories
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group

This page was built for publication: Diophantine geometry over groups. VIII: Stability.