scientific article; zbMATH DE number 3987554
From MaRDI portal
Publication:3751772
zbMATH Open0611.20020MaRDI QIDQ3751772FDOQ3751772
Publication date: 1986
Title of this publication is not available (Why is that?)
Recommendations
- The descending chain condition on solution sets for systems of equations in groups
- On the size of independent systems of equations in semigroups
- The Ehrenfeucht conjecture: A compactness claim for finitely generated free monoids
- Equations over finite sets of words and equivalence problems in automata theory
- scientific article
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 (54)
- 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
- Local and global cyclicity in free semigroups
- The Ehrenfeucht conjecture: A compactness claim for finitely generated free monoids
- 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
- On the defect theorem and simplifiability
- 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
- A proof of Ehrenfeucht's conjecture
- Multiple factorizations of words and defect effect
- The descending chain condition on solution sets for systems of equations in groups
- 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
- Title not available (Why is that?)
- 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
- Test sets for finite substitutions
- Finiteness properties of matrix representations
- 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)
