scientific article; zbMATH DE number 1482215

MaRDI QIDQ4492883zbMATH OpenFDO

Authors Siniša Crvenković, Igor Dolinka

Publication date 27 July 2000

Full work available at URL https://eudml.org/doc/226363

zbMATH Keywords

decidabilityequational theoryrecursively based semigroup varietyword problem

Mathematics Subject Classification ID

Word problems, etc. in computability and recursion theory (03D40) Word problems (aspects of algebraic structures) (08A50) Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07)

Review text

[For part I see Facta Univ., Ser. Math. Inf. 11, 1-8 (1996; Zbl 0884.08007).] The authors give a new example (simpler than earlier ones) of a recursively based semigroup variety having solvable local word problem, but unsolvable equational theory.

Cited in

(17)

• The word problem in varieties of semigroups, rings, and Lie algebras
• A codicity undecidable problem in the plane.
• On locally finite varieties with undecidable equational theory.
• A variety with locally solvable but globally unsolvable word problem
• Algebras defined by equations
• Undecidability of the word problem for Yamamura's HNN-extension under nice conditions.
• IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
• A decidable word problem without equivalent canonical term rewriting system
• A Variety with Solvable, but not Uniformly Solvable, Word Problem
• scientific article; zbMATH DE number 1123898 (Why is no real title available?)
• scientific article; zbMATH DE number 1482197 (Why is no real title available?)
• scientific article; zbMATH DE number 1522669 (Why is no real title available?)
• scientific article; zbMATH DE number 1868880 (Why is no real title available?)
• scientific article; zbMATH DE number 871420 (Why is no real title available?)
• A finitely axiomatizable undecidable equational theory with recursively solvable word problems
• scientific article; zbMATH DE number 3287732 (Why is no real title available?)
• Solving the Caesar problem without categorical sortals

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 Q4492883)