Semidirect product with an order-computable pseudovariety and tameness.

DOI10.1007/S00233-010-9236-ZzbMATH Open1229.20059OpenAlexW2062215135MaRDI QIDQ5962327FDOQ5962327

Maria 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

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.

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)

Cites Work

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

Cited In (6)

• On κ-reducibility of pseudovarieties of the form V ∗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)