Diophantine geometry over groups. VI: The elementary theory of a free group.

DOI10.1007/s00039-006-0565-8zbMath1118.20035OpenAlexW2081925316WikidataQ55921779 ScholiaQ55921779MaRDI QIDQ2501184

No author found.

Publication date: 4 September 2006

Published in: Geometric and Functional Analysis. GAFA (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00039-006-0565-8

zbMATH Keywords

quantifier eliminationfinitely generated groupsfree groupsequations over groupselementary theorieslimit groupselementary 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) 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) Diophantine equations in many variables (11D72) Quasivarieties and varieties of groups (20E10) Basic properties of first-order languages and structures (03C07)

Related Items (80)

The free group does not have the finite cover property ⋮ Limit groups for relatively hyperbolic groups. I: The basic tools. ⋮ On the Bieri-Neumann-Strebel-Renz \(\Sigma\)-invariants of the Bestvina-Brady groups ⋮ Forking and JSJ decompositions in the free group ⋮ Determining Fuchsian groups by their finite quotients ⋮ Complexity volumes of splittable groups ⋮ Orderable groups, elementary theory, and the Kaplansky conjecture ⋮ Elementary theory of free non-abelian groups. ⋮ On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups ⋮ Existential questions in (relatively) hyperbolic groups. ⋮ Hyperbolic towers and independent generic sets in the theory of free groups. ⋮ Profinite extensions of centralizers and the profinite completion of limit groups ⋮ Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups ⋮ Algebraic geometry over algebraic structures. II: Foundations ⋮ Independence and freedom ⋮ Co‐Hopfian virtually free groups and elementary equivalence ⋮ Ideals of equations for elements in a free group and context-free languages ⋮ Krull dimension of solvable groups. ⋮ Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023 ⋮ Direct products and elementary equivalence of polycyclic-by-finite groups. ⋮ On the \(\forall \exists \)-theories of free projective planes ⋮ Elementary equivalence and direct product decompositions of partially commutative groups of varieties ⋮ Two remarks on the first-order theories of Baumslag-Solitar groups ⋮ JSJ DECOMPOSITIONS OF DOUBLES OF FREE GROUPS ⋮ Homogeneity in relatively free groups. ⋮ Formalizing free groups in Isabelle/HOL: the Nielsen-Schreier theorem and the conjugacy problem ⋮ On pro-\(p\) analogues of limit groups via extensions of centralizers. ⋮ Limit groups over coherent right-angled Artin groups ⋮ Regular bi-interpretability of Chevalley groups over local rings ⋮ Representations via differential algebras and equationally Noetherian algebras ⋮ Subgroups of direct products of limit groups over droms RAAGs ⋮ Formal solutions and the first‐order theory of acylindrically hyperbolic groups ⋮ Tarski-type problems for free associative algebras ⋮ Groups elementarily equivalent to a free 2-nilpotent group of finite rank. ⋮ Elementary equivalence of partially commutative Lie rings and algebras ⋮ On the Bieri-Neumann-Strebel-Renz invariants of the weak commutativity construction \(\mathfrak{X}(G)\) ⋮ Groups elementarily equivalent to a free nilpotent group of finite rank ⋮ Action of endomorphism semigroups on definable sets ⋮ Characterization of finitely generated groups by types ⋮ What does a group algebra of a free group ``know about the group? ⋮ Diophantine geometry over groups. VIII: Stability. ⋮ A product theorem in free groups. ⋮ On systems of equations over free products of groups. ⋮ A topological zero-one law and elementary equivalence of finitely generated groups ⋮ Subgroup properties of pro-\(p\) extensions of centralizers. ⋮ Cohomological goodness and the profinite completion of Bianchi groups. ⋮ Elementary equivalence in Artin groups of finite type ⋮ Some lower bounds on Shelah rank in the free group ⋮ Elementary equivalence vs. commensurability for hyperbolic groups ⋮ Approximations of groups, characterizations of sofic groups, and equations over groups ⋮ Subgroup properties of fully residually free groups ⋮ On finite presentability and the homological type \(FP_n\) of Lie algebras: a survey ⋮ Homogeneity in the free group. ⋮ Equations and algebraic geometry over profinite groups. ⋮ Bi-interpretability of some monoids with the arithmetic and applications ⋮ Actions of finitely generated groups on \(\mathbb{R}\)-trees. ⋮ Hyperbolicity and cubulability are preserved under elementary equivalence ⋮ Subgroups of direct products of limit groups. ⋮ Simple loop conjecture for limit groups ⋮ Normal automorphisms of relatively hyperbolic groups ⋮ On the (non) superstable part of the free group ⋮ Fully residually free pro-\(p\) groups. ⋮ UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS ⋮ A polynomial bound on solutions of quadratic equations in free groups. ⋮ Maximal hyperbolic towers and weight in the theory of free groups ⋮ On free MV algebras and a problem of Tarski ⋮ Pro-p completions of groups of cohomological dimension 2 ⋮ On equations and first-order theory of one-relator monoids ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ On systems of equations over free partially commutative groups ⋮ On genericity and weight in the free group ⋮ First-order aspects of Coxeter groups ⋮ Geometric view on homogeneous groups ⋮ Elementary subgroups of virtually free groups ⋮ Non-∀-homogeneity in free groups ⋮ The isomorphism problem for toral relatively hyperbolic groups. ⋮ Limits of (certain) CAT(0) groups. I: Compactification. ⋮ Limit groups over partially commutative groups and group actions on real cubings ⋮ Towers and elementary embeddings in toral relatively hyperbolic groups ⋮ On automorphisms and splittings of special groups

This page was built for publication: Diophantine geometry over groups. VI: The elementary theory of a free group.