A proof of Lyndon's finite basis theorem
- 31 December 1980
- journal article
- Published by Elsevier in Discrete Mathematics
- Vol. 29 (3) , 229-233
- https://doi.org/10.1016/0012-365x(80)90150-8
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Algebras with minimal spectrumAlgebra universalis, 1980
- Congruence—distributive polynomial reducts of latticesAlgebra universalis, 1979
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varietiesAlgebra universalis, 1978
- Finite equational bases for finite algebras in a congruence-distributive equational classAdvances in Mathematics, 1977
- Characterizing Mal’cev conditionsAlgebra universalis, 1973
- Implication algebras are 3-permutable and 3-distributiveAlgebra universalis, 1971
- Demi-semi-primal algebras and Mal'cev-type conditionsMathematische Zeitschrift, 1971
- Algebras Whose Congruence Lattices are Distributive.MATHEMATICA SCANDINAVICA, 1967
- Distributivity and permutability of congruence relations in equational classes of algebrasProceedings of the American Mathematical Society, 1963
- Identities in two-valued calculiTransactions of the American Mathematical Society, 1951