A decision problem for varieties of commutative semigroups

DOI10.1017/S0004972700015288MaRDI QIDQ3137359zbMATH OpenFDO

Authors

Publication date 20 April 1995

Published in Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0004972700015288

zbMATH Keywords

commutative semigroupsfirst order sentencesemigroup identitieswords

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Commutative semigroups (20M14)

Recommendations

• scientific article; zbMATH DE number 989181
• scientific article; zbMATH DE number 3287732
• On the membership problem for pseudovarieties of commutative semigroups
• Varieties of Commutative Semigroups
• Systems of Equations Satisfied in All Commutative Finite Semigroups

Cited in

(10)

• Some decision problems concerning semilinearity and commutation.
• Decision problems for distributive lattice-ordered semigroups
• Deciding the word problem for ground identities with commutative and extensional symbols
• Decidability of semigroup identities in soluble groups
• Isomorphisms and strong finite projective classes of commutative semigroups
• scientific article; zbMATH DE number 989181 (Why is no real title available?)
• Varieties of Commutative Semigroups
• scientific article; zbMATH DE number 1535398 (Why is no real title available?)
• DECISION AND SEPARABILITY PROBLEMS FOR BAUMSLAG–SOLITAR SEMIGROUPS
• On the membership problem for pseudovarieties of commutative semigroups

This page was built for publication: A decision problem for varieties of commutative semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3137359)