Tameness of pseudovariety joins involving R.

DOI10.1007/s00605-005-0324-1zbMath1091.20036OpenAlexW2115749858MaRDI QIDQ814806

José Carlos Costa, Marc Zeitoun, Jorge Almeida

Publication date: 7 February 2006

Published in: Monatshefte für Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00605-005-0324-1

zbMATH Keywords

word problemimplicit operationsjoins of pseudovarietiesdecidabilitysystems of equationspseudoidentities\(\mathbf R\)-trivial semigroupscompletely reducible pseudovarietiescompletely tame pseudovarietiesrational constraints

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items (15)

Reducibility of pointlike problems ⋮ Pointlike sets and separation: a personal perspective ⋮ An automata-theoretic approach to the word problem for \(\omega\)-terms over R ⋮ Some reducibility properties for pseudovarieties of the form DRH ⋮ Recognizing pro-\(\mathrm{R}\) closures of regular languages ⋮ McCammond’s normal forms for free aperiodic semigroups revisited ⋮ The \(\kappa\)-word problem over \(\mathsf{DRH}\) ⋮ On κ-reducibility of pseudovarieties of the form V ∗D ⋮ Towards a pseudoequational proof theory ⋮ Pointlike sets with respect to R and J. ⋮ TAMENESS OF JOINS INVOLVING THE PSEUDOVARIETY OF LOCAL SEMILATTICES ⋮ Every decidable pseudovariety of abelian groups is completely tame ⋮ COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1 ⋮ The pseudovariety of all nilpotent groups is tame ⋮ Profinite topologies

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An automata-theoretic approach to the word problem for \(\omega\)-terms over R
• Set theory. An introduction to independence proofs
• The join of the pseudovarieties of \(\mathcal R\)-trivial and \(\mathcal L\)-trivial monoids
• Profinite semigroups, Mal'cev products, and identities
• Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon
• The pseudoidentity problem and reducibility for completely regular semigroups
• Reducibility of Joins Involving Some Locally Trivial Pseudovarieties
• INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
• THE EQUATIONAL THEORY OF ω-TERMS FOR FINITE ${\mathcal R}$-TRIVIAL SEMIGROUPS
• Undecidability of the identity problem for finite semigroups
• Equations in free groups are not finitely approximable
• 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
• TAMENESS OF THE PSEUDOVARIETY LS1
• On Pointlike Sets and Joins of Pseudovarieties
• PROFINITE SEMIGROUPS, VARIETIES, EXPANSIONS AND THE STRUCTURE OF RELATIVELY FREE PROFINITE SEMIGROUPS
• On the extension problem for partial permutations
• Extending partial automorphisms and the profinite topology on free groups
• TAMENESS OF THE PSEUDOVARIETY OF ABELIAN GROUPS
• SC-hyperdecidability of \(\mathbf R\)

This page was built for publication: Tameness of pseudovariety joins involving R.