Baker's finite basis theorem (Q1246551): Difference between revisions

@@ 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 @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties
+Normal rank