Abstract
Apart from four trivial quasivarieties of bipartite graphs, any finitely axiomatizable universal Horn class of graphs must contain graphs of arbitrarily large chromatic number. Hence, no finitely generated universal Horn class of graphs is finitely axiomatizable, except these four. On the other hand, there is a continuum of universal Horn classes of graphs.
Similar content being viewed by others
References
Adamek, J.,How many variables does a quasivariety need? Algebra Universalis27 (1990).
Burris, S. andSankappanavar, H. P.,A Course in Universal Algebra, Springer Verlag, 1981.
Erdös, P.,Graph theory and probability, Canadian J. of Math.11 (1959), 34–48.
Malcev. A. I.,Universally axiomatizable subclasses of locally finite classes of models, Siberian Math. J.8 (1967), 254–267.
Nešetřil, J. andPultr, A.,On classes of relations and graphs determined by subobjects and factorobjects, Discrete Mathematics22 (1978), 287–300.
Pigozzi, D.,Finite basis theorems for relatively congruence-distributive quasivarieties, Trans. Amer. Math. Soc.310 (1988), 490–533.
Tarski, A.,Contributions to the theory of models I (II), Indag. Math.16 (1954). 572–581, 582–583.
Taylor, W.,Atomic compactness and graph theory, Fundamenta Mathematicae,LXV (1969), 139–145.
Wheeler, W. H.,The first order theory of n-colourable graphs, Trans. Amer. Math. Soc.250 (1979), 289–310.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Caicedo, X. Finitely axiomatizable quasivarieties of graphs. Algebra Universalis 34, 314–321 (1995). https://doi.org/10.1007/BF01204787
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01204787