×

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
Full Text: DOI