A proof of Lyndon's finite basis theorem
type: Item
instance of: scholarly article
title: A proof of Lyndon's finite basis theorem
zbMATH Open document ID: 0449.08004
DOI: 10.1016/0012-365X(80)90150-8
published in: Discrete Mathematics
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 08B05
Mathematics Subject Classification ID: 08B10
zbMATH DE Number: 3702751
zbMATH Keywords: finite basis property
zbMATH Keywords: two-element algebra of finite similarity type
zbMATH Keywords: subdirectly irreducible algebras
author: Joel Berman
MaRDI profile type: Publication
cites work: Finite equational bases for finite algebras in a congruence-distributive equational class
cites work: Congruence-distributive polynomial reducts of lattices
cites work: Q5572358
cites work: Algebras Whose Congruence Lattices are Distributive.
cites work: Identities in Two-Valued Calculi
cites work: Q5829835
cites work: Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
cites work: Implication algebras are 3-permutable and 3-distributive
cites work: Q5534915
cites work: Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
cites work: The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
cites work: Demi-semi-primal algebras and Mal'cev-type conditions
cites work: Algebras with minimal spectrum
cites work: Characterizing Mal'cev conditions
cites work: Pure Compactifications in Quasi-Primal Varieties
description: scientific article; zbMATH DE number 3702751