A proof of Lyndon's finite basis theorem (Q1147174): Difference between revisions

@@ Property / author @@
+Joel D. Berman
@@ Property / author: Joel D. Berman / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Finite equational bases for finite algebras in a congruence-distributive equational class
+Normal rank
@@ Property / cites work @@
+Congruence-distributive polynomial reducts of lattices
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Identities in Two-Valued Calculi
@@ Property / cites work: Identities in Two-Valued Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q5829835
@@ Property / cites work: Q5829835 / rank @@
+Normal rank
@@ Property / cites work @@
+Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
+Normal rank
@@ Property / cites work @@
+Implication algebras are 3-permutable and 3-distributive
+Normal rank
@@ Property / cites work @@
+Q5534915
@@ Property / cites work: Q5534915 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Demi-semi-primal algebras and Mal'cev-type conditions
+Normal rank
@@ Property / cites work @@
+Algebras with minimal spectrum
@@ Property / cites work: Algebras with minimal spectrum / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing Mal'cev conditions
@@ Property / cites work: Characterizing Mal'cev conditions / rank @@
+Normal rank
@@ Property / cites work @@
+Pure Compactifications in Quasi-Primal Varieties
@@ Property / cites work: Pure Compactifications in Quasi-Primal Varieties / rank @@
+Normal rank