Semigroups with one defining relation whose elementary theories are solvable

DOI10.1007/BF00968793MaRDI QIDQ800486zbMATH OpenOpenAlexFDO

Authors Yu. M. Vazhenin

Publication date 1983

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00968793

zbMATH Keywords

relationssemigroupdefining relationdecidable elementary theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Free semigroups, generators and relations, word problems (20M05)

Recommendations

• Elementary theories of completely simple semigroups
• Some one-relator semigroup presentations with solvable word problems
• Semigroups presented by one relation and satisfying the Church-Rosser property
• scientific article; zbMATH DE number 3872110
• scientific article; zbMATH DE number 679820
• The word problem for one-relator semigroups
• scientific article; zbMATH DE number 4089806
• Problems of equality and divisibility in semigroups with a single defining relation
• scientific article; zbMATH DE number 3946109
• Finite solvable groups in which semi-normality is a transitive relation.

Cites work

• scientific article; zbMATH DE number 3605134 (Why is no real title available?)
• scientific article; zbMATH DE number 3369150 (Why is no real title available?)
• Sur la liaison entre problèmes combinatoires et algorithmiques

Cited in

(8)

• Semigroups presented by one relation and satisfying the Church-Rosser property
• scientific article; zbMATH DE number 3946109 (Why is no real title available?)
• Decidability of elementary theories of lattices of subsemigroups
• Elementary theories of completely simple semigroups
• The word problem for one-relation monoids: a survey
• Isomorphism problem for semigroups with one defining relation
• Correction to: ``The word problem for one-relation monoids: a survey
• Automatic presentations for semigroups.

This page was built for publication: Semigroups with one defining relation whose elementary theories are solvable

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