Finitely axiomatizable quasivarieties of graphs (Q1902536)

A quasivariety of the form \(\text{ISP} (A)\), where \(A\) is a finite set of finite graphs, is called finitely generated. It is proved that no finitely generated quasivariety of graphs is finitely axiomatizable, except four quasivarieties. Also the author shows that there is a continuum of universal Horn classes of graphs.