×

zbMATH — the first resource for mathematics

Solvability of equations in varieties of universal algebras. (English) Zbl 0821.08005
Summary: We study classes of universal algebras in a variety that are closed under the formation of Cartesian products, homomorphic images and extensions. We prove a Birkhoff type theorem for such axiomatic classes.
MSC:
08B05 Equational logic, Mal’tsev conditions
08C10 Axiomatic model classes
08C15 Quasivarieties
PDF BibTeX Cite
Full Text: EMIS EuDML