Preservation Under Extensions on Well-Behaved Finite Structures

A class of relational structures is said to have the extension preservation property if every first-order sentence that is preserved under extensions on the class is equivalent to an existential sentence. The class of all finite structures does not have the extension preservation property. We study the property on classes of finite structures that are better behaved. We show that the property holds of classes of acyclic structures, structures of bounded degree and more generally structures that are wide in a sense we make precise. We also show that the preservation property holds for the class of structures of treewidth at most¢ , for any ¢ . In contrast, we show that the property fails for the class of planar graphs. £ A preliminary short version of this paper appeared in the proceedings of the 32nd International Conference on Automata, Languages and Programming (ICALP), volume 3580 of Lecture Notes in Computer Science, Springer-Verlag, pages 1437-1449, 2005.¤ The first autho...

• Type: Conference
• Year: 2005
• Where: ICALP
• Authors: Albert Atserias, Anuj Dawar, Martin Grohe
• Keywords: Extension Preservation Property, ICALP 2005, Preservation Property, Theoretical Computer Science, finite Structures