Finite basis problems and results for quasivarieties
The authors prove several deep results. For example, they extend D. Pigozzi's finite basis theorem and suggest that the proof can be fruitfully compared with related extensions in a paper by \textit{J. Czelakowski} and \textit{W. Dziobiak} [Algebra Univers. 27, 128--149 (1990; Zbl 0695.08016)] and \textit{W. Dziobiak}'s constructive proof of the extension of D. Pigozzi's result [Algebra Univers. 28, 303--323 (1991; Zbl 0741.08009)]. Further, they extend \textit{R. Willard}'s finite basis theorem [J. Symb. Log. 65, 187--200 (2000; Zbl 0973.08004)].
scientific article; zbMATH DE number 2153447
scientific article