Existential positive types and preservation under homomorphisms

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2005, Pages 467-476

  Rossman, Benjamin ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; FORMAL LOGIC;

FINITE HOMOMORPHISM; FINITE STRUCTURES; POSITIVE FORMULA;

THEOREM PROVING;

EID: 26844580068     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. M. Ajtai and Y. Gurevich. Monotone versus positive. J. ACM, 34:1004-1015, 1987.
2. M. Ajtai and Y. Gurevich. Datalog vs first-order logic. J. Comput. System Sci., 49:562-588, 1994.
3. N. Alechina and Y. Gurevich. Syntax vs. semantics on finite structures. In J. Mychielski, G. Rozenberg, and A. Salomaa, editors, Structures in Logic and Computer Science, pages 14-33. Springer-Verlag, 1997.
4. A. Atserias, A. Dawar, and Ph. Kolaitis. On preservation under homomorphisms and unions of conjunctive queries. In PODS, pages 319-329, 2004.
5. H. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, 1996.
6. T. Feder and M. Y. Vardi. Homomorphism closed vs. existential positive. In Proc. of the 18th IEEE Symp. on Logic in Computer Science, pages 310-320, 2003.
7. E. Grädel and E. Rosen. On preservation theorems for two-variable logic. Math. Logic Quart., 45:315-325, 1999.
8. Y. Gurevich. On finite model theory (extended abstract). In S. R. Buss and P. J. Scott, editors, Feasible Mathematics, pages 211-219. Birkhäuser, 1990.
9. R. C. Lyndon. Properties preserved under homomorphism. Pacific J. Math., 9:129-142, 1959.
10. E. Rosen. Some aspects of model theory and finite structures. Bull. Symbolic Logic, 8:380-403, 2002.
11. E. Rosen and S. Weinstein. Preservation theorems in finite model theory. In D. Leivant, editor, Logic and Computational Complexity, pages 480-502. Spring-Verlag, 1995.