Embedded finite models, stability theory, and the impact of order

Proceedings - Symposium on Logic in Computer Science

Volumn 1998-June, Issue , 1998, Pages 490-500

  Baldwin, John T ^a   Benedikt, Michael A ^b  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; GROUP THEORY;

ADDITIONAL STRUCTURES; COMBINATORIAL PROPERTIES; EQUIVALENCE RELATIONS; FINITE STRUCTURES; FIRST ORDER LOGIC; INDEPENDENCE PROPERTIES; ORDERED STRUCTURES; STABILITY THEORIES;

COMPUTER CIRCUITS;

EID: 84957060019     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.1998.705682     Document Type: Conference Paper

References (28)

1. S. Abiteboul, R. Hull, V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. J. T. Baldwin. Fundamentals of Stability Theory. Springer-Verlag, 1988.
3. O.Belagradek, A. Stolboushkin, M. Tsaitlin. Extended order-generic queries. DIMACS technical report 96-01.
4. O.Belagradek, Yaacov Peterzll, Frank Wagner. Quasi O-mlnlmal groups. Manuscript. To appear.
5. M. Benedlkt, G. Dong, L. Libkin, L. Wong. Relational expressive power of constraint query languages. To appear In JACM. Extended abstract In PODS '96.
6. M. Benedlkt and L. Libkin. Safe Constraint Queries Manuscript to appear.
7. M. Benedlkt and L. Libkin. On the structure of queries In constraint query languages. In LICS '96.
8. M. Benedlkt and L. Libkin. Languages for Relational Databases over Interpreted Structures. In PODS '97.
9. C.C. Chang and H.J. Kelsler. Model Theory. North- Holland Elsevier, 1990.
10. H.-D. Ebblnghaus and J. Flum. Finite Model Theory. Springer Verlag, 1995.
11. J. Flum. Characterizing logics. In Model-Theoretic Logics, edited by J. Barwise and S. Feferman, pages 78-91, Springer-Verlag, 1985.
12. E. Gradel and Y. Gurevlch. Metafinlte model theory. In Proc. LCC, LNCS vol. 960, 1994, pages 313-366.
13. S. Grumbach and J. Su. Finitely representable databases, In PODS'94 pages 289-300.
14. S. Grumbach and J. Su. First-order definability over constraint databases. In PCCP'95.
15. Y. Gurevlch and P. Schmitt The theory of ordered abellan groups does not have the Independence property. In Trans. American Math Society, 284 (1984) pages 171-182.
16. L. Hella, P. Kolaltls, and K. Luosto. How to define a linear order on finite models. In LICS '94.
17. W. Hodges. Model Theory. Cambridge University Press, 1992.
18. R. Hull and J. Su. Domain Independence and the relational calculus. Acta Informatica 31:513-524, 1994.
19. N. Immerman. Languages that capture complexity classes. SIAM J. Comput. 16 (1987), 760-778.
20. P. Kanellakls. Constraint programming and database languages: A tutorial. In PODS'95, pages 46-53.
21. P. Kanellakls, G. Kuper, and P. Revesz. Constraint query languages. JCSS 51 (1995), 26-52.
22. H.J. Kelsler. Measures and Forking. Annals of Pure and Applied Logic 34 (1987), no. 2, 119-169.
23. C. Laskowski. Vapnlk-Chervonenkls classes of definable sets. J. of the London Mathematical Society. Vol. 45 (1992), no. 2, 377-384.
24. M. Otto and J. Van den Bussche. First-order queries on databases embedded In an Infinite structure. Information Processing Letters, 60 (1996), no. 1, 37-41.
25. J. Paredaens, J. Van den Bussche, and D. Van Gucht. Towards a theory of spatial database queries. In PODS'94, pages 279-288.
26. J. Paredaens, J. Van den Bussche, and D. Van Gucht. First-order queries on finite structures over the reals. In LICS'95, pages 79-87.
27. Bruno Polzat, Cours de theories de modeles Vllleur- banne: Nur al-Mantlq wal-Ma'rlfah.
28. S. Shelah. Classification Theory and the Number of Nonisomorphic Models North-Holland, 1978.