ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS
From MaRDI portal
Publication:4786248
DOI10.1142/S0218196700000091zbMath1010.20042OpenAlexW2061250599MaRDI QIDQ4786248
Publication date: 15 December 2002
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0218196700000091
Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35)
Related Items
PROFINITE METHODS IN SEMIGROUP THEORY, Towards a pseudoequational proof theory, An application of a theorem of Ash to finite covers., Pro-aperiodic monoids via saturated models, A syntactic approach to covers for E ‐dense semigroups over group varieties, On the hyperdecidability of semidirect products of pseudovarieties
Cites Work
- Unnamed Item
- Categories as algebra: An essential ingredient in the theory of monoids
- Topologies for the free monoid
- Kernel systems - a global study of homomorphisms on finite semigroups
- Profinite categories and semidirect products
- Pointlike sets: the finest aperiodic cover of a finite semigroup
- Product expansions
- Subsemigroups and complexity via the presentation lemma
- The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups
- Finite semigroup varieties of the form V*D
- Graph congruences and wreath products
- On varieties generated by a finitely generated group
- Bases for equational theories of semi-groups
- Characterizations of locally testable events
- INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
- A Conjecture on the Hall Topology for the Free Group
- On finite simple semigroups
- Undecidability of the identity problem for finite semigroups
- ASH'S TYPE II THEOREM, PROFINITE TOPOLOGY AND MALCEV PRODUCTS: PART I
- On the hyperdecidability of semidirect products of pseudovarieties
- On The Profinite Topology on a Free Group
- THE PRO-p TOPOLOGY OF A FREE GROUP AND ALGORITHMIC PROBLEMS IN SEMIGROUPS
- On the Decidability of Iterated Semidirect Products with Applications to Complexity
- PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS
- HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
- UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
- On Pointlike Sets and Joins of Pseudovarieties
- ON A CLASS OF SEMIGROUP PSEUDOVARIETIES WITHOUT FINITE PSEUDOIDENTITY BASIS
- A SYNTACTICAL PROOF OF LOCALITY OF DA
- The free completely regular semigroup on a set
