The Birkhoff theorem for varieties of finite algebras

DOI10.1007/BF01194543MaRDI QIDQ790139zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• The Birkhoff variety theorem for continuous algebras
• Publication:5715379
• Publication:4075514
• Birkhoffs variety theorem for coalgebras
• Birkhoff's variety theorem in many sorts
• Finitely axiomatizable varieties of BCK-algebras
• Wedderburn theorem on varieties of algebras
• Publication:3741690
• On varieties of biresiduation algebras
• Publication:3792685

Cites work

• scientific article; zbMATH DE number 3572729 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• On pseudovarieties
• Varieties and finite closure conditions

Cited in

(28)

• Topological Birkhoff
• On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
• Ohkawa’s theorem: There is a set of Bousfield classes
• scientific article; zbMATH DE number 672107 (Why is no real title available?)
• The Birkhoff variety theorem for continuous algebras
• HSP\(\neq SHPS\) for metabelian groups, and related results
• scientific article; zbMATH DE number 3920451 (Why is no real title available?)
• Semidirect products of pseudovarieties from the universal algebraist's point of view
• A uniform Birkhoff theorem
• On Pointlike Sets and Joins of Pseudovarieties
• A topological shuttle between inequalities and pseudoinequalities
• An algebraic proof that pseudovarieties are defined by pseudoidentities
• On finite simple semigroups
• Baire theorem and hypercyclic algebras
• Equational descriptions of languages
• Finiteness theorems for the Picard objects of an algebraic stack
• Profinite categories and semidirect products
• Uniform Birkhoff
• Varieties of infinitary universal algebras
• Varieties
• Algebras with irreducible module varieties. III: Birkhoff varieties
• What makes a Stone topological algebra profinite
• The algebra of implicit operations
• Profinite categories, implicit operations and pseudovarieties of categories
• Profinite monads, profinite equations, and Reiterman's theorem
• Nonstandard characterization of pseudovarieties
• Birkhoff's variety theorem in many sorts
• A two-dimensional Birkhoff's theorem

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q790139)