Semidirect product with an order-computable pseudovariety and tameness.
From MaRDI portal
Publication:5962327
DOI10.1007/s00233-010-9236-zzbMath1229.20059MaRDI QIDQ5962327
M. Lurdes Teixeira, José Carlos Costa, Jorge Almeida
Publication date: 22 September 2010
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1822/11162
systems of equations; tameness; hyperdecidable pseudovarieties; implicit signatures; order-computable pseudovarieties; relatively free profinite semigroups; semidirect products of pseudovarieties of semigroups
20M07: Varieties and pseudovarieties of semigroups
20M05: Free semigroups, generators and relations, word problems
Related Items
The pseudovariety of all nilpotent groups is tame, Every decidable pseudovariety of abelian groups is completely tame, On κ-reducibility of pseudovarieties of the form V ∗D
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Categories as algebra: An essential ingredient in the theory of monoids
- Decidability and tameness in the theory of finite semigroups.
- Infinite-vertex free profinite semigroupoids and symbolic dynamics.
- Profinite categories and semidirect products
- On some systems of equations with constraints in a free group. -- Addenda.
- Profinite categories, implicit operations and pseudovarieties of categories
- Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon
- INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
- On the hyperdecidability of semidirect products of pseudovarieties
- Equations in free groups are not finitely approximable
- On the Decidability of Iterated Semidirect Products with Applications to Complexity
- HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
- UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
- On Pointlike Sets and Joins of Pseudovarieties
- On the extension problem for partial permutations
- A SYNTACTICAL PROOF OF LOCALITY OF DA
- Extending partial automorphisms and the profinite topology on free groups
