Finite basis problems and results for quasivarieties (Q1770614)

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)].