Publicação
Decision problems for finitely presented and one-relation semigroups and monoids
Cain, Alan J.; Maltcev, Victor

Submetido

Twenty-four properties of semigroups are studied. For each property, this paper considers whether it or its negation is a Markov property, whether it is decidable for finitely presented semigroups and for one-relation semigroups and monoids. New undecidability results for finitely presented semigroups emerge. New decidability results for one-relation semigroups and monoids are proven.


 
FCT - Fundação para a Ciência e a Tecnologia