Syntax vs. Semantics on Finite Structures

Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved by extensions if and only if it is equivalent to an existential sentence. Many of these correspondences break when one restricts attention to nite models. In such a case, one may attempt to nd a new semantical characterization of the old syntactical property or a new syntactical characterization of the old semantical property. The goal of this paper is to provoke such a study.

• Type: Conference
• Year: 1997
• Where: BIRTHDAY
• Authors: Natasha Alechina, Yuri Gurevich
• Keywords: Applied Computing, BIRTHDAY 1997, Logic Preservation Theorems, Old Semantical Property, Old Syntactical Property