scientific article; zbMATH DE number 1419247
From MaRDI portal
Publication:4942266
zbMath0947.20043MaRDI QIDQ4942266
Benjamin Steinberg, Jorge Almeida
Publication date: 8 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algorithmssemidirect productsimplicit operationscategoriestamenesssemigroup pseudovarietiespseudoidentitiesweak reducibilitysemigroupoidsprofinite semigroupsfinite aperiodic semigroupsKrohn-Rhodes complexityhyperdecidability
Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Quasivarieties (08C15) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)
Related Items (18)
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 ⋮ The \(\kappa\)-word problem over \(\mathsf{DRH}\) ⋮ Iterated periodicity over finite aperiodic semigroups ⋮ On κ-reducibility of pseudovarieties of the form V ∗D ⋮ On an assertion of J. Rhodes and the finite basis and finite vertex rank problems for pseudovarieties. ⋮ Closures of regular languages for profinite topologies. ⋮ An effective lower bound for group complexity of finite semigroups and automata ⋮ Towards a pseudoequational proof theory ⋮ On bases of identities for the \(\omega\)-variety generated by locally testable semigroups. ⋮ The word problem for \(\kappa \)-terms over the pseudovariety of local groups ⋮ Dynamics of implicit operations and tameness of pseudovarieties of groups ⋮ Semidirect product with an order-computable pseudovariety and tameness. ⋮ Pointlike reducibility of pseudovarieties of the form V ∗D ⋮ The geometry of profinite graphs with applications to free groups and finite monoids ⋮ Tameness of pseudovariety joins involving R.
This page was built for publication:
