Elementary theory of free non-abelian groups.

DOI10.1016/j.jalgebra.2006.03.033zbMath1110.03020OpenAlexW2005047182WikidataQ55921778 ScholiaQ55921778MaRDI QIDQ855727

O. G. Kharlampovich, Alexei G. Myasnikov

Publication date: 7 December 2006

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgebra.2006.03.033

zbMATH Keywords

free group decidable theory elementary theory

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Decidability of theories and sets of sentences (03B25) Free nonabelian groups (20E05) Models of other mathematical theories (03C65)

Related Items (only showing first 100 items - show all)

Co‐Hopfian virtually free groups and elementary equivalence ⋮ Ideals of equations for elements in a free group and context-free languages ⋮ Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023 ⋮ Formalizing free groups in Isabelle/HOL: the Nielsen-Schreier theorem and the conjugacy problem ⋮ Discrete representations of finitely generated groups into PSL(2,R)${\rm PSL}(2,\mathbb {R})$ ⋮ Regular bi-interpretability of Chevalley groups over local rings ⋮ Representations via differential algebras and equationally Noetherian algebras ⋮ Formal solutions and the first‐order theory of acylindrically hyperbolic groups ⋮ LIMIT GROUPS ARE CONJUGACY SEPARABLE ⋮ Tame Automorphisms of Elementary Free Groups ⋮ On Fully Residually- Groups ⋮ Fields definable in the free group ⋮ Algebraic Geometry over Heyting Algebras ⋮ On the Equationally Artinian Groups ⋮ The free group does not have the finite cover property ⋮ Compactness conditions in universal algebraic geometry ⋮ Algorithmic undecidability of compatibility problem for equations in free groups: explicit equations with one commutator-type constraint ⋮ Magnus pairs in, and free conjugacy separability of, limit groups ⋮ First-order rigidity of rings satisfying polynomial identities ⋮ Limit groups for relatively hyperbolic groups. I: The basic tools. ⋮ Non-abelian topological approach to non-locality of a hypergraph state ⋮ On the Bieri-Neumann-Strebel-Renz $\Sigma$-invariants of the Bestvina-Brady groups ⋮ Solution Sets for Equations over Free Groups are EDT0L Languages ⋮ 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 ⋮ On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups ⋮ Finding all solutions of equations in free groups and monoids with involution ⋮ Learning pattern languages over groups ⋮ Characteristic and IA-invariant radicals ⋮ 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 ⋮ More Than 1700 Years of Word Equations ⋮ Algebraic geometry over algebraic structures. II: Foundations ⋮ Krull dimension of solvable groups. ⋮ First order rigidity of non-uniform higher rank arithmetic groups ⋮ Direct products and elementary equivalence of polycyclic-by-finite groups. ⋮ CENTRALISER DIMENSION OF FREE PARTIALLY COMMUTATIVE NILPOTENT GROUPS OF CLASS 2 ⋮ 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. ⋮ Normal subgroups in limit groups of prime index ⋮ On pro-$p$ analogues of limit groups via extensions of centralizers. ⋮ Limit groups over coherent right-angled Artin groups ⋮ Krull dimension for limit 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)$ ⋮ On Some Finiteness Properties in Infinite Groups ⋮ WORD EQUATIONS OVER GRAPH PRODUCTS ⋮ Groups elementarily equivalent to a free nilpotent group of finite rank ⋮ Characterization of finitely generated groups by types ⋮ What does a group algebra of a free group ``know about the group? ⋮ On Turner’s theorem and first-order theory ⋮ The complexity of verbal languages over groups ⋮ A product theorem in free groups. ⋮ On systems of equations over free products of groups. ⋮ Equations in polyadic 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. ⋮ Solutions to twisted word equations and equations in virtually free groups ⋮ Elementary equivalence in Artin groups of finite type ⋮ GROUP EXTENSIONS OVER INFINITE WORDS ⋮ Scott sentences for certain groups ⋮ Some lower bounds on Shelah rank in the free group ⋮ Undecidability of equations in free Lie algebras ⋮ Elementary equivalence vs. commensurability for hyperbolic groups ⋮ ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS ⋮ Approximations of groups, characterizations of sofic groups, and equations over groups ⋮ DEFINABLE SETS IN A HYPERBOLIC GROUP ⋮ ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS ⋮ 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 ⋮ Hyperbolicity and cubulability are preserved under elementary equivalence ⋮ A note on Lyndon properties in one-relator groups. ⋮ Subgroups of direct products of limit groups. ⋮ ALGEBRAIC GEOMETRY FOR MV-ALGEBRAS ⋮ On the Universal Theory of Torsion and Lacunary Hyperbolic Groups ⋮ Normal automorphisms of relatively hyperbolic groups ⋮ On the (non) superstable part of the free group ⋮ Fully residually free pro-$p$ groups. ⋮ Fraïssé limits of limit 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 ⋮ Solving one-variable equations in free groups ⋮ On free MV algebras and a problem of Tarski ⋮ On equations and first-order theory of one-relator monoids ⋮ On the Bieri–Neumann–Strebel–Renz invariants of residually free groups ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ Definability in the Infix Order on Words ⋮ On systems of equations over free partially commutative groups ⋮ On genericity and weight in the free group

Cites Work

This page was built for publication: Elementary theory of free non-abelian groups.