Article ID Journal Published Year Pages File Type
430151 Journal of Computer and System Sciences 2010 9 Pages PDF
Abstract

A class of structures is said to have the homomorphism preservation property just in case every first-order formula that is preserved by homomorphisms on this class is equivalent to an existential-positive formula. It is known by a result of Rossman that the class of finite structures has this property and by previous work of Atserias et al. that various of its subclasses do. We extend the latter results by introducing the notion of a quasi-wide class and showing that any quasi-wide class that is closed under taking substructures and disjoint unions has the homomorphism preservation property. We show, in particular, that classes of structures of bounded expansion and classes that locally exclude minors are quasi-wide. We also construct an example of a class of finite structures which is closed under substructures and disjoint unions but does not admit the homomorphism preservation property.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics