Semigroups with one defining relation whose elementary theories are solvable

DOI10.1007/BF00968793zbMATH Open0549.20036OpenAlexW2039633928MaRDI QIDQ800486FDOQ800486

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

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
• 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.

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)

Cites Work

• Title not available (Why is that?)
• Sur la liaison entre problèmes combinatoires et algorithmiques
• Title not available (Why is that?)

Cited In (8)

• Correction to: ``The word problem for one-relation monoids: a survey
• Elementary theories of completely simple semigroups
• Decidability of elementary theories of lattices of subsemigroups
• The word problem for one-relation monoids: a survey
• Automatic presentations for semigroups.
• Title not available (Why is that?)
• Isomorphism problem for semigroups with one defining relation
• Semigroups presented by one relation and satisfying the Church-Rosser property

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)