HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
From MaRDI portal
Publication:4513299
Recommendations
- On the hyperdecidability of semidirect products of pseudovarieties
- On the Decidability of Iterated Semidirect Products with Applications to Complexity
- ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS
- The pseudovariety $J$ is hyperdecidable
- UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
Cites work
- A SYNTACTICAL PROOF OF LOCALITY OF DA
- ASH'S TYPE II THEOREM, PROFINITE TOPOLOGY AND MALCEV PRODUCTS: PART I
- Abelian pointlikes of a monoid
- Bases for equational theories of semi-groups
- Categories as algebra: An essential ingredient in the theory of monoids
- Decidability of complexity one-half for finite semigroups
- INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
- ON A CLASS OF SEMIGROUP PSEUDOVARIETIES WITHOUT FINITE PSEUDOIDENTITY BASIS
- On Pointlike Sets and Joins of Pseudovarieties
- On the hyperdecidability of semidirect products of pseudovarieties
- PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS
- Pointlike sets: the finest aperiodic cover of a finite semigroup
- Product expansions
- Profinite categories and semidirect products
- Profinite categories, implicit operations and pseudovarieties of categories
- Profinite semigroups, Mal'cev products, and identities
- The Birkhoff theorem for finite algebras
- The pseudovariety $J$ is hyperdecidable
- Undecidability of the identity problem for finite semigroups
Cited in
(37)- Iterated periodicity over finite aperiodic semigroups
- Extending partial automorphisms and the profinite topology on free groups
- On the equation \({\mathbf V}*{\mathbf G}={\mathcal E}{\mathbf V}\)
- PROFINITE METHODS IN SEMIGROUP THEORY
- A delay theorem for pointlikes
- ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS
- The geometry of profinite graphs with applications to free groups and finite monoids
- INEVITABLE GRAPHS AND PROFINITE TOPOLOGIES: SOME SOLUTIONS TO ALGORITHMIC PROBLEMS IN MONOID AND AUTOMATA THEORY, STEMMING FROM GROUP THEORY
- APERIODIC POINTLIKES AND BEYOND
- On the hyperdecidability of semidirect products of pseudovarieties
- A profinite approach to stable pairs.
- COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1
- The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages
- On an assertion of J. Rhodes and the finite basis and finite vertex rank problems for pseudovarieties.
- TAMENESS OF THE PSEUDOVARIETY LS1
- ON THE HYPERDECIDABILITY OF PSEUDOVARIETIES OF GROUPS
- Reducibility vs. definability for pseudovarieties of semigroups
- On the Decidability of Iterated Semidirect Products with Applications to Complexity
- The pseudoidentity problem and reducibility for completely regular semigroups
- Some reducibility properties for pseudovarieties of the form \(DRH\)
- Dynamics of implicit operations and tameness of pseudovarieties of groups
- The \(\kappa\)-word problem over \(\mathsf{DRH}\)
- Reducibility of Joins Involving Some Locally Trivial Pseudovarieties
- The globals of pseudovarieties of ordered semigroups containingB2and an application to a problem proposed by Pin
- Krohn-Rhodes complexity pseudovarieties are not finitely based
- Tameness of Some Locally Trivial Pseudovarieties
- Complete κ-reducibility of pseudovarieties of the form DRH
- McCammond’s normal forms for free aperiodic semigroups revisited
- PROFINITE SEMIGROUPS, VARIETIES, EXPANSIONS AND THE STRUCTURE OF RELATIVELY FREE PROFINITE SEMIGROUPS
- The pseudovariety $J$ is hyperdecidable
- Finite state automata: a geometric approach
- STABLE PAIRS
- TAMENESS OF THE PSEUDOVARIETY OF ABELIAN GROUPS
- Semidirect product with an order-computable pseudovariety and tameness.
- Tameness of pseudovariety joins involving R.
- Hyperdecidability of pseudovarieties of orthogroups
- SC-hyperdecidability of \(\mathbf R\)
This page was built for publication: HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4513299)
