×

zbMATH — the first resource for mathematics

A proof of Lyndon’s finite basis theorem. (English) Zbl 0449.08004

MSC:
08B05 Equational logic, Mal’tsev conditions
08B10 Congruence modularity, congruence distributivity
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Baker, K., Finite equational bases for finite algebras in a congruence distributive equational class, Advances in math., 24, 207-243, (1977) · Zbl 0356.08006
[2] Baker, K., Congruence-distributive polynomial reducts of lattices, Algebra universalis, 9, 142-145, (1979) · Zbl 0407.08004
[3] Grätzer, G., Universal algebra, (1979), Springer New York · Zbl 0182.34201
[4] Jónsson, B., Algebras whose congruence lattices are distributive, Math. scand., 21, 110-121, (1967) · Zbl 0167.28401
[5] Lyndon, R.C., Identities in two-valued calculi, Trans. amer. math. soc., 71, 457-465, (1951) · Zbl 0044.00201
[6] Malcev, A.I., On the general theory of algebraic systems, Mat. sb., 35, 77, 3-20, (1954) · Zbl 0057.02403
[7] McKenzie, R., Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties, Algebra universalis, 8, 336-348, (1978) · Zbl 0383.08008
[8] Mitschke, A., Implication algebras are 3-permutable and 3-distributive, Algebra universalis, 1, 182-186, (1971) · Zbl 0242.08005
[9] Murskii, V.L., The existence in three-valued logic of a closed class with finite basis, not having a finite complete system of identities, Dokl. akad. nauk SSSR, 163, 815-818, (1965) · Zbl 0154.25506
[10] Pixley, A.F., Distributivily and permutability of congruence relations in equational classes of algebras, Proc. amer. math. soc., 14, 105-109, (1963) · Zbl 0113.24804
[11] Post, E.L., The two-valued iterative systems of mathematical logic, (), Reprinted by Kraus Reprint Corp., 1965
[12] Quackenbush, R.W., Demi-semi-primal algebras and Mal’cev-type conditions, Math. Z., 122, 166-176, (1971) · Zbl 0209.04302
[13] R.W. Quackenbush, Algebras with minimal spectrum, Algebra universalis (to appear). · Zbl 0437.08001
[14] Taylor, W., Characterizing Mal’cev conditions, Algebra universalis, 3, 351-397, (1973) · Zbl 0304.08003
[15] Taylor, W., Pure compactifications in quasi-primal varieties, Canadian J. math., 28, 50-62, (1976) · Zbl 0326.08006
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.