Makanin-Razborov diagrams over free products.
Publication:716389
zbMath1252.20043arXiv0902.2493MaRDI QIDQ716389
Publication date: 28 April 2011
Published in: Illinois Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0902.2493
free products; systems of equations; limit groups; stable groups; elementary equivalences; Makanin-Razborov diagrams; first order theories
03C60: Model-theoretic algebra
20F65: Geometric group theory
03B25: Decidability of theories and sets of sentences
20E06: Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
20F67: Hyperbolic groups and nonpositively curved groups
03C45: Classification theory, stability, and related concepts in model theory
20F70: Algebraic geometry over groups; equations over groups
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Limit groups for relatively hyperbolic groups. II: Makanin-Razborov diagrams.
- Lower bounds on the size of bounded depth circuits over a complete basis with logical addition
- Cyclic splittings of finitely presented groups and the canonical JSJ deccomposition
- Structure and rigidity in hyperbolic groups. I
- Acylindrical accessibility for groups
- Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
- Diophantine geometry over groups. II: Completions, closures and formal solutions
- Diophantine geometry over groups. I: Makanin-Razborov diagrams
- Stable actions of groups on real trees
- Makanin-Razborov diagrams for limit groups.
- Actions of finitely generated groups on \(\mathbb{R}\)-trees.
- ON SYSTEMS OF EQUATIONS IN A FREE GROUP
- Diophantine geometry over groups VII: The elementary theory of a hyperbolic group