Finiteness properties of varieties and the restriction to finite algebras.
From MaRDI portal
Publication:1780019
DOI10.1007/s00233-004-0161-xzbMath1073.20052MaRDI QIDQ1780019
Publication date: 6 June 2005
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00233-004-0161-x
finite semigroups; semigroup varieties; finite basis property; hereditarily finitely based varieties; limit varieties; hereditarily finitely generated varieties; small varieties
08B15: Lattices of varieties
20M07: Varieties and pseudovarieties of semigroups
08B05: Equational logic, Mal'tsev conditions
03D40: Word problems, etc. in computability and recursion theory
Related Items
Chain varieties of monoids, Monoid varieties with extreme properties, LEE MONOIDS ARE NONFINITELY BASED WHILE THE SETS OF THEIR ISOTERMS ARE FINITELY BASED, The Division Relation: Congruence Conditions and Axiomatisability, Flat algebras and the translation of universal Horn logic to equational logic, FINITELY GENERATED LIMIT VARIETIES OF APERIODIC MONOIDS WITH CENTRAL IDEMPOTENTS, Finitely generated equational classes, The finite basis problem for words with at most two non-linear variables., Constraint satisfaction, irredundant axiomatisability and continuous colouring, Inherently non-finitely generated varieties of aperiodic monoids with central idempotents., Cross varieties of aperiodic monoids with central idempotents., Non-finitely based monoids., Finitely based monoids., Classification of finitely based words in a class of words over a \(3\)-letter alphabet., Erratum to: ``Finiteness properties of varieties and the restriction to finite algebras, Special elements of the lattice of monoid varieties, On the finite basis problem for certain 2-limited words., Existence of a new limit variety of aperiodic monoids, Almost cross varieties of aperiodic monoids with central idempotents., Lee monoid \(L_4^1\) is non-finitely based, On certain cross varieties of aperiodic monoids with commuting idempotents., A SUFFICIENT CONDITION UNDER WHICH A SEMIGROUP IS NONFINITELY BASED