On Baker’s finite basis theorem for congruence distributive varieties. (English) Zbl 0401.08011
MSC:
08B10 | Congruence modularity, congruence distributivity |
08B05 | Equational logic, Mal’tsev conditions |
08B10 | Congruence modularity, congruence distributivity |
08B05 | Equational logic, Mal’tsev conditions |