scientific article
From MaRDI portal
Publication:3751772
zbMath0611.20020MaRDI QIDQ3751772
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
free grouphomomorphismsfree semigroupfinite alphabettest setsystem of equationsEhrenfeucht conjecture
Free semigroups, generators and relations, word problems (20M05) Automorphisms of infinite groups (20E36) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
Related Items
Many aspects of defect theorems, Equations in the Partial Semigroup of Words with Overlapping Products, Systems of word equations, polynomials and linear algebra: a new approach, On systems of word equations with simple loop sets, Equations over the \(k\)-binomial monoids, On the size of independent systems of equations in semigroups, Diophantine geometry over groups. V\(_1\): Quantifier elimination. I., Zariski topology and Markov topology on groups, Implicit function theorem over free groups., Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz, Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups, Topologizability of countable equationally Noetherian algebras, Algebraic geometry over algebraic structures. II: Foundations, A note on decidability questions on presentations of word semigroups, Krull dimension of solvable groups., A compactness property of the \(k\)-abelian monoids, On the Solution Sets of Entire Systems of Word Equations, Groups with cofinite Zariski topology and potential density, Equalizers and kernels in categories of monoids, The Markov and Zariski topologies of some linear groups, An Analysis and a Reproof of Hmelevskii’s Theorem, On systems of equations over free products of groups., Makanin-Razborov diagrams for hyperbolic groups, Explicit test sets for iterated morphisms in free monoids and metabelian groups, Algebraic geometry over groups. III: Elements of model theory., One-Variable Word Equations and Three-Variable Constant-Free Word Equations, On maximal chains of systems of word equations, One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations, On the Complexity of Hmelevskii’s Theorem and Satisfiability of Three Unknown Equations, On systems of equations over free partially commutative groups, Finite transducers and rational transductions, Seven lectures on universal algebraic geometry, Homomorphisms to acylindrically hyperbolic groups I: Equationally noetherian groups and families, An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences, Algebraic geometry over groups. I: Algebraic sets and ideal theory, Algebraic properties of word equations, Tarski’s problem about the elementary theory of free groups has a positive solution, Multiple factorizations of words and defect effect, An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences
