A proof of Lyndon's finite basis theorem

DOI10.1016/0012-365X(80)90150-8zbMath0449.08004MaRDI QIDQ1147174

Joel D. Berman

Publication date: 1980

Published in: Discrete Mathematics (Search for Journal in Brave)

zbMATH Keywords

subdirectly irreducible algebrasfinite basis propertytwo-element algebra of finite similarity type

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Related Items (13)

Bjarni Jónsson's contributions in algebra ⋮ Every idempotent plain algebra generates a minimal variety ⋮ Characterization of zigzag De Morgan functions ⋮ The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras ⋮ 2-element matrices ⋮ EVERY SHIFT AUTOMORPHISM VARIETY HAS AN INFINITE SUBDIRECTLY IRREDUCIBLE MEMBER ⋮ Quasi-equational bases for graphs of semigroups, monoids and groups. ⋮ Equivalent transformations of formulas in \(P_2\). ⋮ A functional completeness theorem for De Morgan functions. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Quasiidentities of two-element algebras ⋮ On the Relationship Between AP, RS and CEP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebras with minimal spectrum
• Characterizing Mal'cev conditions
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• Congruence-distributive polynomial reducts of lattices
• Implication algebras are 3-permutable and 3-distributive
• Pure Compactifications in Quasi-Primal Varieties
• Algebras Whose Congruence Lattices are Distributive.
• Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
• Identities in Two-Valued Calculi
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Demi-semi-primal algebras and Mal'cev-type conditions

This page was built for publication: A proof of Lyndon's finite basis theorem