Finitely axiomatizable quasivarieties of graphs

DOI10.1007/BF01204787zbMath0837.08007MaRDI QIDQ1902536

Xavier Caicedo

Publication date: 12 May 1996

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

finite axiomatizabilityfinitely generated quasivariety of graphsuniversal Horn classes of graphs

Mathematics Subject Classification ID

Quasivarieties (08C15) Axiomatic model classes (08C10)

Related Items

Axiomatizations of universal classes through infinitary logic, Axiomatisability and hardness for universal Horn classes of hypergraphs, Residual properties of pre-bipartite digraphs, On universal positive graphs, DUALIZABILITY OF GRAPHS, Quasi-equational bases for graphs of semigroups, monoids and groups., The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion, Open questions related to the problem of Birkhoff and Maltsev, RESIDUAL PROPERTIES OF SIMPLE GRAPHS, INTERPRETING GRAPH COLORABILITY IN FINITE SEMIGROUPS, Subdirect decomposition of \(n\)-chromatic graphs

Cites Work

• Unnamed Item
• Unnamed Item
• On classes of relations and graphs determined by subobjects and factorobjects
• Graph Theory and Probability
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• The First Order Theory of N-Colorable Graphs
• Atomic compactness and graph theory