scientific article; zbMATH DE number 4008680

zbMATH Open0622.20049MaRDI QIDQ3759042FDOQ3759042

Authors:

Publication date: 1987

Title of this publication is not available (Why is that?)

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

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)

Cited In (27)

• Join decompositions of pseudovarieties involving semigroups with commuting idempotents
• Locally commutative power semigroups and counting factors of words
• ON ITERATED MAL'CEV PRODUCTS WITH A PSEUDOVARIETY OF GROUPS
• A delay theorem for pointlikes
• ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS
• Title not available (Why is that?)
• Join irreducible semigroups
• On the hyperdecidability of semidirect products of pseudovarieties
• On the decidability of membership in the global of a monoid pseudovariety.
• The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups
• On algorithmic problems for joins of pseudovarieties
• Globals of pseudovarieties of commutative semigroups: the finite basis problem, decidability and gaps
• Some pseudovariety joins involving the pseudovariety of finite groups
• ON A CLASS OF SEMIGROUP PSEUDOVARIETIES WITHOUT FINITE PSEUDOIDENTITY BASIS
• Reduction theorem for the type-II conjecture for finite monoids
• On the Cantor-Dedekind property of the Tilson order on categories and graphs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Undecidability of the identity problem for finite semigroups
• Decidability and tameness in the theory of finite semigroups.
• On a problem of Brzozowski and Fich
• Decidability of finite quasivarieties generated by certain transformation semigroups.
• The pseudovariety $J$ is hyperdecidable
• Title not available (Why is that?)
• New results on the conjecture of Rhodes and on the topological conjecture
• Semidirect products of pseudovarieties from the universal algebraist's point of view
• 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)