Finite variable logic, stability and finite models

Journal of Symbolic Logic

Volumn 66, Issue 2, 2001, Pages 837-858

  Djordjević, Marko ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035534354     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2695048     Document Type: Article

References (15)

1. D. BERTHIER, Stability of non-model-complete theories; products, groups, The Journal of the London Mathematical Society, vol 11 (1975), pp. 453-464.
2. A. E. BROUWER. A. M. COHEN, and A. NEUMAIER. Distance regular graphs, Springer-Verlag, 1989.
3. C. C. CHANG and H. J. KIESLER, Model theory, North-Holland, Amsterdam, 1992.
4. 0-stable structures. Annals of Pure and Applied Logic, vol. 28 (1985), pp. 103-135.
5. A. DAWAR, S. LINDELL, and S. WEINSTEIN, Infinitary logic and inductive definability over finite structures, Information and Computation, vol. 119 (1995). pp. 160-175.
6. P. EKLOF and E. FISHER, The elementary theory of abelian groups, Annals of Mathematical Logic, vol. 4 (1972), pp. 115-171.
7. W. HODGES, Model theory, Cambridge University Press, 1993.
8. A. J. HOFFMAN and R. R. SINGLETON, On Moore graphs with diameters 2 and 3, IBM Journal of Research and Development, vol. 4 (1960). pp. 497-504.
9. T. HYTTINEN, On stability in finite models, to appear in Archive for Mathematical Logic.
10. _, Forking in finite models, Manuscript.
11. N. IMMERMAN, Upper and lower bounds for first-order expressibility, Journal of Computer and Systems Sciences, vol. 25 (1982). pp. 76-98.
12. n. The Journal of Symbolic of Logic, vol. 47(1982), pp. 641-658.
13. S. SHELAH, Stability, the f.c.p. and superstability; model theoretic properties of formulas in first-order theories. Annals of Mathematical Logic, vol. 3 (1971). pp. 271-362.
14. _, The lazy model-theoretician's guide to stability, Logique et Analyse, vol. 18 (1975), pp. 235-308.
15. _, Classification theory, North-Holland, Amsterdam, 1990.