Semigroups with one defining relation whose elementary theories are solvable

DOI10.1007/BF00968793zbMath0549.20036OpenAlexW2039633928MaRDI QIDQ800486

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

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

Related Items (3)

The word problem for one-relation monoids: a survey ⋮ Automatic presentations for semigroups. ⋮ Correction to: ``The word problem for one-relation monoids: a survey

Cites Work

• Sur la liaison entre problèmes combinatoires et algorithmiques
• Unnamed Item
• Unnamed Item

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