An algebraic proof that pseudovarieties are defined by pseudoidentities

DOI10.1007/BF01189004zbMath0760.08005MaRDI QIDQ1173660

Peter M. Higgins

Publication date: 25 June 1992

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

pseudoidentitiesalgebraic proofpseudovariety of finite algebras

Mathematics Subject Classification ID

Categories of algebras (08C05)

Related Items

PROFINITE METHODS IN SEMIGROUP THEORY ⋮ Profinite categories, implicit operations and pseudovarieties of categories ⋮ A topological shuttle between inequalities and pseudoinequalities

Cites Work

• The Birkhoff theorem for varieties of finite algebras
• The Birkhoff theorem for finite algebras
• On pseudovarieties