The lattice of quasivarieties of undirected graphs. (Q1771893): Difference between revisions

For a quasivariety \(\mathcal K\), let \(L(\mathcal K)\) denote the lattice of all quasivarieties contained in \(\mathcal K \). A quasivariety \(\mathcal K\) is said to be \(Q\)-universal if for any quasivariety \(\mathcal M\) of finite type, \(L(\mathcal M )\) is a homomorphic image of a sublattice of \(L(\mathcal K)\). It is shown that the quasivariety of undirected graphs is \(Q\)-universal.