TAMENESS OF JOINS INVOLVING THE PSEUDOVARIETY OF LOCAL SEMILATTICES
From MaRDI portal
Publication:4902679
DOI10.1142/S0218196712500609zbMath1268.20061MaRDI QIDQ4902679
José Carlos Costa, Conceição Nogueira
Publication date: 17 January 2013
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0218196712500609
finite semigroups; joins of pseudovarieties; pseudovarieties of semigroups; pseudoidentities; decidability of membership; local semilattices; pseudowords; tame pseudovarieties; graph equation systems
08B15: Lattices of varieties
20M07: Varieties and pseudovarieties of semigroups
20M05: Free semigroups, generators and relations, word problems
20M35: Semigroups in automata theory, linguistics, etc.
08C15: Quasivarieties
Related Items
Cites Work
- Tameness of pseudovariety joins involving R.
- The Birkhoff theorem for finite algebras
- Locally testable semigroups
- Characterizations of locally testable events
- The pseudoidentity problem and reducibility for completely regular semigroups
- Reducibility of Joins Involving Some Locally Trivial Pseudovarieties
- INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
- COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1
- Undecidability of the identity problem for finite semigroups
- Equations in free groups are not finitely approximable
- On the Decidability of Iterated Semidirect Products with Applications to Complexity
- UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
- TAMENESS OF THE PSEUDOVARIETY LS1
- Algebraic decision procedures for local testability
- Tameness of Some Locally Trivial Pseudovarieties
- On the extension problem for partial permutations
- TAMENESS OF THE PSEUDOVARIETY OF ABELIAN GROUPS
- Free profinite locally idempotent and locally commutative semigroups