TAMENESS OF THE PSEUDOVARIETY LS1
From MaRDI portal
Publication:4658703
Recommendations
- Tameness of Some Locally Trivial Pseudovarieties
- Semidirect product with an order-computable pseudovariety and tameness.
- Tameness of joins involving the pseudovariety of local semilattices.
- Every decidable pseudovariety of abelian groups is completely tame
- Reducibility of Joins Involving Some Locally Trivial Pseudovarieties
Cites work
- Algebraic decision procedures for local testability
- Characterizations of locally testable events
- Free profinite locally idempotent and locally commutative semigroups
- HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
- INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
- On the Decidability of Iterated Semidirect Products with Applications to Complexity
- Reducibility of Joins Involving Some Locally Trivial Pseudovarieties
- Some key problems on finite semigroups
- Tameness of Some Locally Trivial Pseudovarieties
- The Birkhoff theorem for finite algebras
- UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
- Undecidability of the identity problem for finite semigroups
Cited in
(11)- Towards a pseudoequational proof theory
- On \(\kappa\)-reducibility of pseudovarieties of the form \(V \ast D\)
- Every decidable pseudovariety of abelian groups is completely tame
- COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1
- Tameness of joins involving the pseudovariety of local semilattices.
- Pointlike reducibility of pseudovarieties of the form \(\mathbf V*\mathbf D\).
- Semigroup presentations for test local groups.
- Tameness of Some Locally Trivial Pseudovarieties
- McCammond’s normal forms for free aperiodic semigroups revisited
- Profinite topologies
- Tameness of pseudovariety joins involving R.
This page was built for publication: TAMENESS OF THE PSEUDOVARIETY LS1
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4658703)
