scientific article; zbMATH DE number 3343706

From MaRDI portal
Publication:5619830

zbMath0216.29402MaRDI QIDQ5619830

Ju. I. Merzljakov

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 constraintOn 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 semigroupsAlgorithmic problems and hierarchies of first-order languagesUndecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroupUnnamed ItemOn the \(\forall \exists \)-theories of free projective planesInvestigations on equations in a free groupPositive theories of free inverse semigroupsOn equations in free monoids and semigroups with restrictions on solutionsFormal solutions and the first‐order theory of acylindrically hyperbolic groupsThe problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvableGeneralization of problem 9.25 from ``The Kourovka notebookThe complexity of verbal languages over groupsOn the symmetry of images of word maps in groupsInfinite coforcing in model theorySeven lectures on universal algebraic geometryUnnamed ItemAlmost all free products of groups have the same positive theoryStudies in the matrix representability of abstract groups and in matrix groupsGeneral theory of groupsThe existential theory of equations with rational constraints in free groups is PSPACE-completeModel-theoretic and algorithmic questions in group theoryPositive theories of free monoids




This page was built for publication: