scientific article
From MaRDI portal
zbMATH Open0622.20049MaRDI QIDQ3759042FDOQ3759042
Author name not available (Why is that?)
Publication date: 1987
Title of this publication is not available (Why is that?)
surveydecidabilityidempotentsfinite semigroupsproblemsmembership problempseudovarieties of semigroups
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 (25)
- 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
- 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
- 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
Recommendations
- On the membership problem for pseudovarieties of commutative semigroups ๐ ๐
- Title not available (Why is that?) ๐ ๐
- 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 ๐ ๐
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)