Amalgamation properties and finite models in Ln-theories

Archive for Mathematical Logic

Volumn 41, Issue 2, 2002, Pages 155-167

  Baldwin, John ^a   Lessmann, Olivier ^a  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036003089     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530100106     Document Type: Article

References (20)

1. [Ba 1] Baldwin, J.T.: Finite and Infinite Model Theory: a historical perspective (Proceedings of 1999 Wollics Conference). To appear
2. [Ba] Baldwin, J.T.: Fundamentals of Stability Theory Springer-Verlag, 447 pages. (1988)
3. 0-stable structures, Annals of Pure and Applied Logic, 28, 103-135 (1985)
4. [Dj 1] Djordjević, M.: Finite Variable Logic, Stability, and Finite Models. Journal of Symbolic Logic, 66, 837-858 (2001)
5. [Dj 2] Djordjević, M.: Stability theory in finite variable logic, Uppsala (Sweden), September 2000. Private communication
6. [Gr] Grossberg, R.: A course in Model Theory, book in preparation
7. [Ho] Hodges, W.: Model Theory Cambridge University Press, Cambridge (1983)
8. [Hru] Hrushovski, E.: Totally Categorical Structures", Transactions of the American Mathematical Society 313, 131-159 (1989)
9. [Hy 1] Hyttinen, T.: On stability in finite models, Archives of mathematical logic, 39(2), 89-102 (2000)
10. [Hy 2] Hyttinen, T.: Forking in finite models, Preprint
11. n-theories, Preprint
12. [Ma] MacPherson, D.: Homogeneous and smoothly approximable structures, in Algebraic Model Theory (Toronto, ON, 1996) 161-179, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 496, Kluwer Acad. Publ., (1997)
13. [Ma] MacPherson, D.: Homogeneous and smoothly approximable structures, in Algebraic Model Theory (Toronto, ON, 1996) 161-179, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 496, Kluwer Acad. Publ., (1997)
14. [Pi] Pillay, A.: Geometric Stability Theory Oxford University Press, (1996)
15. n, Journal of Symbolic Logic, 47, 641-658 (1982)
16. [Th] Thomas, S.: Theories with finitely many models Journal of Symbolic Logic, 51, 374-376 (1986)
17. [Th 1] Thomas, S.: Theories with finitely many models I, Manuscript
18. [Sh:576] Shelah, S.: Categoricity of an abstract elementary class in two successive cardinals
19. [Sh:300] Shelah, S.: Universal Classes: Part 1. in "Classification Theory, Chicago 1985", (Springer Lecture Notes 1292), Springer-Verlag 1987 edited by "Baldwin, J." 264-419
20. [Sh] Shelah, S.: Classification theory and the number of nonisomorphic models, Rev. Ed., North-Holland, Amsterdam.(1990)