On the hyperdecidability of semidirect products of pseudovarieties

DOI10.1080/00927879808826395MaRDI QIDQ4224014zbMATH OpenOpenAlexFDO

Authors Jorge Almeida, Pedro V. Silva

Publication date 30 March 1999

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00927879808826395

zbMATH Keywords

decidabilityhyperdecidabilityhyperdecidable pseudovarietiesmembership problemorder-computable pseudovarietiespseudovarieties of bandspseudovarieties of finite completely simple semigroupspseudovarieties of finite groupssemidirect products

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07)

Recommendations

• ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS
• HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
• On the Decidability of Iterated Semidirect Products with Applications to Complexity
• Hyperdecidability of pseudovarieties of orthogroups
• scientific article; zbMATH DE number 4008680
• The pseudovariety J is hyperdecidable
• PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS
• On aperiodic relational morphisms.
• scientific article; zbMATH DE number 1972777
• UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS

Cites work

• Categories as algebra: An essential ingredient in the theory of monoids
• HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
• INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
• ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS
• Pointlike sets: the finest aperiodic cover of a finite semigroup
• Product expansions
• Profinite categories and semidirect products
• Semidirect products of regular semigroups
• Undecidability of the identity problem for finite semigroups

Cited in

(14)

• Profinite topologies
• Type II theorem and hyperdecidability of pseudovarieties of groups
• Hyperdecidability of pseudovarieties of orthogroups
• The pseudovariety J is hyperdecidable
• 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
• ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS
• INEVITABLE GRAPHS AND PROFINITE TOPOLOGIES: SOME SOLUTIONS TO ALGORITHMIC PROBLEMS IN MONOID AND AUTOMATA THEORY, STEMMING FROM GROUP THEORY
• ON THE HYPERDECIDABILITY OF PSEUDOVARIETIES OF GROUPS
• PROFINITE METHODS IN SEMIGROUP THEORY
• SC-hyperdecidability of R
• Semidirect product with an order-computable pseudovariety and tameness.
• Pseudovarieties of semigroups

This page was built for publication: On the hyperdecidability of semidirect products of pseudovarieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4224014)