scientific article; zbMATH DE number 3343706
From MaRDI portal
Publication:5619830
zbMath0216.29402MaRDI QIDQ5619830
Publication date: 1966
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (24)
Algorithmic undecidability of compatibility problem for equations in free groups: explicit equations with one commutator-type constraint ⋮ On equations in free semigroups with certain constraints on their solutions. ⋮ On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups ⋮ Algorithmic problems and hierarchies of first-order languages ⋮ Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup ⋮ Unnamed Item ⋮ On the \(\forall \exists \)-theories of free projective planes ⋮ Investigations on equations in a free group ⋮ Positive theories of free inverse semigroups ⋮ On equations in free monoids and semigroups with restrictions on solutions ⋮ Formal solutions and the first‐order theory of acylindrically hyperbolic groups ⋮ The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable ⋮ Generalization of problem 9.25 from ``The Kourovka notebook ⋮ The complexity of verbal languages over groups ⋮ On the symmetry of images of word maps in groups ⋮ Infinite coforcing in model theory ⋮ Seven lectures on universal algebraic geometry ⋮ Unnamed Item ⋮ Almost all free products of groups have the same positive theory ⋮ Studies in the matrix representability of abstract groups and in matrix groups ⋮ General theory of groups ⋮ The existential theory of equations with rational constraints in free groups is PSPACE-complete ⋮ Model-theoretic and algorithmic questions in group theory ⋮ Positive theories of free monoids
This page was built for publication: