Semidirect product with an order-computable pseudovariety and tameness.

DOI10.1007/S00233-010-9236-ZMaRDI QIDQ5962327zbMATH OpenOpenAlexFDO

Authors Jorge Almeida, José Carlos Costa, Maria Lurdes Teixeira

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

zbMATH Keywords

tamenesssystems of equationsimplicit signaturesrelatively free profinite semigroupshyperdecidable pseudovarietiesorder-computable pseudovarietiessemidirect products of pseudovarieties of semigroups

Mathematics Subject Classification ID

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

Recommendations

• Tameness of pseudovariety joins involving R.
• Reducibility of Joins Involving Some Locally Trivial Pseudovarieties
• Tameness of Some Locally Trivial Pseudovarieties
• On the hyperdecidability of semidirect products of pseudovarieties
• Tameness of joins involving the pseudovariety of local semilattices.

Cites work

• scientific article; zbMATH DE number 4028925 (Why is no real title available?)
• scientific article; zbMATH DE number 53371 (Why is no real title available?)
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 1944113 (Why is no real title available?)
• scientific article; zbMATH DE number 1419247 (Why is no real title available?)
• A SYNTACTICAL PROOF OF LOCALITY OF DA
• Categories as algebra: An essential ingredient in the theory of monoids
• Decidability and tameness in the theory of finite semigroups.
• Equations in free groups are not finitely approximable
• Extending partial automorphisms and the profinite topology on free groups
• HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
• INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
• Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon
• Infinite-vertex free profinite semigroupoids and symbolic dynamics.
• On Pointlike Sets and Joins of Pseudovarieties
• On some systems of equations with constraints in a free group. -- Addenda.
• On the Decidability of Iterated Semidirect Products with Applications to Complexity
• On the extension problem for partial permutations
• On the hyperdecidability of semidirect products of pseudovarieties
• Profinite categories and semidirect products
• Profinite categories, implicit operations and pseudovarieties of categories
• The \(\mathfrak q\)-theory of finite semigroups.
• The restricted Burnside problem for varieties of semigroups
• UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS

Cited in

(6)

• On \(\kappa\)-reducibility of pseudovarieties of the form \(V \ast D\)
• Every decidable pseudovariety of abelian groups is completely tame
• TAMENESS OF THE PSEUDOVARIETY LS1
• The pseudovariety of all nilpotent groups is tame
• Profinite topologies
• Tameness of pseudovariety joins involving R.

This page was built for publication: Semidirect product with an order-computable pseudovariety and tameness.

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