The Birkhoff theorem for varieties of finite algebras

DOI10.1007/BF01194543zbMath0534.08005OpenAlexW2053731602MaRDI QIDQ790139

Bernhard Banaschewski

Publication date: 1983

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

Full work available at URL: https://doi.org/10.1007/bf01194543

zbMATH Keywords

implicit equationscompletions of uniform spacesdirected unions of equational classesvarieties of finite universal algebras

Mathematics Subject Classification ID

Baire category, Baire spaces (54E52) Equational logic, Mal'tsev conditions (08B05) Uniform structures and generalizations (54E15)

Related Items (18)

Nonstandard characterization of pseudovarieties ⋮ On finite simple semigroups ⋮ Profinite categories, implicit operations and pseudovarieties of categories ⋮ The algebra of implicit operations ⋮ Profinite categories and semidirect products ⋮ Uniform Birkhoff ⋮ What makes a Stone topological algebra profinite ⋮ An algebraic proof that pseudovarieties are defined by pseudoidentities ⋮ EQUATIONAL DESCRIPTIONS OF LANGUAGES ⋮ HSP\(\neq SHPS\) for metabelian groups, and related results ⋮ A topological shuttle between inequalities and pseudoinequalities ⋮ On Pointlike Sets and Joins of Pseudovarieties ⋮ Profinite Monads, Profinite Equations, and Reiterman’s Theorem ⋮ Semidirect products of pseudovarieties from the universal algebraist's point of view ⋮ Unnamed Item ⋮ On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics ⋮ Varieties ⋮ Topological Birkhoff

Cites Work

• Unnamed Item
• Unnamed Item
• On pseudovarieties
• Varieties and finite closure conditions

This page was built for publication: The Birkhoff theorem for varieties of finite algebras