scientific article; zbMATH DE number 774017

zbMath0838.16014MaRDI QIDQ4839071

G. P. Kukin

Publication date: 30 May 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

variety of groupsvarieties of semigroupsunsolvable word problemfinitely presented ringsHigman's propertyrecursively axiomatizable varietiesrecursively presented structures

Mathematics Subject Classification ID

Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15) Quasivarieties and varieties of groups (20E10) Word problems, etc. in computability and recursion theory (03D40) (T)-ideals, identities, varieties of associative rings and algebras (16R10) Recursively (computably) enumerable sets and degrees (03D25) Applications of logic in associative algebras (16B70)

Related Items (3)

Finitely presented nilsemigroups: complexes with the property of uniform ellipticity ⋮ A semigroup of paths on a sequence of uniformly elliptic complexes ⋮ The loop problem for Rees matrix semigroups.

This page was built for publication: