Finitely axiomatizable quasivarieties of graphs (Q1902536)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Finitely axiomatizable quasivarieties of graphs |
scientific article; zbMATH DE number 819279
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finitely axiomatizable quasivarieties of graphs |
scientific article; zbMATH DE number 819279 |
Statements
Finitely axiomatizable quasivarieties of graphs (English)
0 references
12 May 1996
0 references
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.
0 references
finite axiomatizability
0 references
finitely generated quasivariety of graphs
0 references
universal Horn classes of graphs
0 references
0.95316213
0 references
0 references
0.89697033
0 references
0.8883137
0 references
0 references
0 references
