The amalgamation class of a discriminator variety is finitely axiomatizable. (English) Zbl 0519.08008
Universal algebra and lattice theory, Proc. 4th int. Conf., Puebla/Mex. 1982, Lect. Notes Math. 1004, 1-9 (1983).
MSC:
08C10 | Axiomatic model classes |
03C05 | Equational classes, universal algebra in model theory |
03B25 | Decidability of theories and sets of sentences |