scientific article
From MaRDI portal
zbMATH Open0611.20020MaRDI QIDQ3751772FDOQ3751772
Publication date: 1986
Title of this publication is not available (Why is that?)
free grouphomomorphismsfinite alphabettest setsystem of equationsfree semigroupEhrenfeucht conjecture
Free nonabelian groups (20E05) Automorphisms of infinite groups (20E36) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Free semigroups, generators and relations, word problems (20M05)
Cited In (46)
- Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz
- Equations over finite sets of words and equivalence problems in automata theory
- An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences
- On systems of equations over free products of groups.
- Algebraic geometry over groups. III: Elements of model theory.
- Groups with cofinite Zariski topology and potential density
- Systems of word equations, polynomials and linear algebra: a new approach
- Krull dimension of solvable groups.
- Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
- Noncommutative algebraic geometry. I: Monomial equations with a single variable
- Many aspects of defect theorems
- \(\mathfrak f\)-systems in infinite groups
- The Markov and Zariski topologies of some linear groups
- Zariski topology and Markov topology on groups
- Equations over the \(k\)-binomial monoids
- A compactness property of the \(k\)-abelian monoids
- Finite transducers and rational transductions
- Algebraic geometry over groups. I: Algebraic sets and ideal theory
- Seven lectures on universal algebraic geometry
- Multiple factorizations of words and defect effect
- On systems of word equations with simple loop sets
- On the size of independent systems of equations in semigroups
- Makanin-Razborov diagrams for hyperbolic groups
- On maximal chains of systems of word equations
- Explicit test sets for iterated morphisms in free monoids and metabelian groups
- Algebraic geometry over algebraic structures. II: Foundations
- One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations
- Title not available (Why is that?)
- First-order sentences in random groups. I: Universal sentences
- On the Solution Sets of Entire Systems of Word Equations
- Algebraic properties of word equations
- Equalizers and kernels in categories of monoids
- Homomorphisms to acylindrically hyperbolic groups I: Equationally noetherian groups and families
- Equations in the Partial Semigroup of Words with Overlapping Products
- An Analysis and a Reproof of Hmelevskii’s Theorem
- On systems of equations over free partially commutative groups
- Title not available (Why is that?)
- On the Complexity of Hmelevskii’s Theorem and Satisfiability of Three Unknown Equations
- Implicit function theorem over free groups.
- Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems
- A note on decidability questions on presentations of word semigroups
- One-Variable Word Equations and Three-Variable Constant-Free Word Equations
- Diophantine geometry over groups. V\(_1\): Quantifier elimination. I.
- An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences
- Tarski’s problem about the elementary theory of free groups has a positive solution
- Topologizability of countable equationally Noetherian algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3751772)
