scientific article; zbMATH DE number 4008680

zbMATH Open0622.20049MaRDI QIDQ3759042FDOQ3759042

Authors

Publication date 1987

zbMATH Keywords

surveydecidabilityidempotentsfinite semigroupsproblemsmembership problempseudovarieties of semigroups

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Free semigroups, generators and relations, word problems (20M05) Undecidability and degrees of sets of sentences (03D35) Quasivarieties (08C15) Varieties and pseudovarieties of semigroups (20M07)

Recommendations

• On the membership problem for pseudovarieties of commutative semigroups
• scientific article; zbMATH DE number 1972777
• Decidability and tameness in the theory of finite semigroups.
• ON A CLASS OF SEMIGROUP PSEUDOVARIETIES WITHOUT FINITE PSEUDOIDENTITY BASIS
• ON THE DECIDABILITY OF THE MEMBERSHIP PROBLEM OF THE PSEUDOVARIETY J∨B

Cited in

(28)

• scientific article; zbMATH DE number 1944113 (Why is no real title available?)
• Decidability of finite quasivarieties generated by certain transformation semigroups.
• scientific article; zbMATH DE number 1512753 (Why is no real title available?)
• Globals of pseudovarieties of commutative semigroups: the finite basis problem, decidability and gaps
• Semidirect products of pseudovarieties from the universal algebraist's point of view
• scientific article; zbMATH DE number 1972777 (Why is no real title available?)
• The pseudovariety $J$ is hyperdecidable
• scientific article; zbMATH DE number 798167 (Why is no real title available?)
• Some pseudovariety joins involving the pseudovariety of finite groups
• New results on the conjecture of Rhodes and on the topological conjecture
• On the hyperdecidability of semidirect products of pseudovarieties
• Join decompositions of pseudovarieties involving semigroups with commuting idempotents
• Locally commutative power semigroups and counting factors of words
• ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS
• Decidability and tameness in the theory of finite semigroups.
• ON A CLASS OF SEMIGROUP PSEUDOVARIETIES WITHOUT FINITE PSEUDOIDENTITY BASIS
• ON ITERATED MAL'CEV PRODUCTS WITH A PSEUDOVARIETY OF GROUPS
• On the Cantor-Dedekind property of the Tilson order on categories and graphs
• Join irreducible semigroups
• Reduction theorem for the type-II conjecture for finite monoids
• On a problem of Brzozowski and Fich
• On algorithmic problems for joins of pseudovarieties
• Undecidability of the identity problem for finite semigroups
• On the decidability of membership in the global of a monoid pseudovariety.
• The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups
• The \(\kappa\)-word problem over \(\mathsf{DRH}\)
• A delay theorem for pointlikes
• STABLE PAIRS

This page was built for publication:

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