×

The weak extension property and finite axiomatizability for quasivarieties. (English) Zbl 1170.08004

This paper is devoted to the study of a collection of sufficient conditions for finite axiomatizability of a finitely generated variety or quasivariety. All such conditions will be expressed as combinations of properties of the lattice of congruences or the lattice of relative congruences (or a combination of the two) holding for all algebras in a quasivariety.

MSC:

08C15 Quasivarieties
03C05 Equational classes, universal algebra in model theory
08B10 Congruence modularity, congruence distributivity
PDFBibTeX XMLCite
Full Text: DOI