On the order of countable graphs
European Journal of Combinatorics
Universal graphs with a forbidden subtree
Journal of Combinatorial Theory Series B
On the containment of forbidden patterns problems
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Datalog and constraint satisfaction with infinite templates
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Universal structures and the logic of forbidden patterns
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Datalog and constraint satisfaction with infinite templates
Journal of Computer and System Sciences
Hi-index | 0.00 |
We apply model theoretic methods to the problem of existence of countable universal graphs with finitely many forbidden connected subgraphs. We show that to a large extent the question reduces to one of local finiteness of an associated ''algebraic closure'' operator. The main applications are new examples of universal graphs with forbidden subgraphs and simplified treatments of some previously known cases.