Syntax vs. semantics on finite structures

  • Natasha Alechina
  • Yuri Gurevich
Model Theory
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1261)


Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a first-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 finite models. In such a case, one may attempt to find 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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Ajtai and Y. Gurevich. Monotone versus positive. Journal of ACM, 34:1004–1015, 1987.Google Scholar
  2. 2.
    M. Ajtai and Y. Gurevich. DATALOG vs. first-order logic. In Proceedings 30th IEEE Symposium on Foundations of Computer Science, pages 142–146, 1989.Google Scholar
  3. 3.
    H. Andréka, J. van Benthem, and I. Németi. Submodel preservation theorems in finite variable fragments. In M. de Rijke A. Ponse and Y. Venema, editors, Modal Logic and Process Algebra. Cambridge University Press, 1994.Google Scholar
  4. 4.
    J. Barwise and J. van Benthem. Interpolation, preservation, and pebble games. Technical Report ML-96-12, ILLC, University of Amsterdam, 1996.Google Scholar
  5. 5.
    C. C. Chang and H. J. Keisler. Model theory. North Holland, 1973.Google Scholar
  6. 6.
    H.-D. Ebbinghaus and J. Flum. Finite model theory. Springer, 1995.Google Scholar
  7. 7.
    J. Flum. Private communication.Google Scholar
  8. 8.
    Y. Gurevich. Toward logic tailored for computational complexity. In M. M. Richter et al., editor, Computation and Proof Theory. Springer lecture Notes in Mathematics 1104, 1984.Google Scholar
  9. 9.
    Y. Gurevich. Logic and the challenge of computer science. In E. Börger, editor, Current Trends in Theoretical Computer Science, pages 1–57. Computer Science Press, 1988.Google Scholar
  10. 10.
    Y. Gurevich. On finite model theory. In S. R. Buss and P. J. Scott, editor, Feasible Mathematics, pages 211–219. Birkhauser, 1990.Google Scholar
  11. 11.
    H. Rogers. Theory of recursive functions and effective computability. MIT Press, 1992.Google Scholar
  12. 12.
    E. Rosen and S. Weinstein. Preservation theorems in finite model theory. In Logic and Computational Complexity, volume 960 of Lecture Notes in Computer Science, pages 480–502, 1995.Google Scholar
  13. 13.
    W. Tait. A counterexample to a conjecture of Scott and Suppes. Journal of Symbolic Logic, 24:15–16, 1959.Google Scholar

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • Natasha Alechina
    • 1
  • Yuri Gurevich
    • 2
  1. 1.University of BirminghamUK
  2. 2.University of MichiganUSA

Personalised recommendations