We expose the foundations of simple theories in a straightforward way including many improved proofs which can only be found scattered in the specialized literature. We start with general model theory and finish with the proof of the independence theorem.

Key words: Model Theory, Simple Theories, Forking, Independence.

Exponemos los fundamentos de las teorías simples de manera muy directa e incorporando muchas mejoras de demostraciones que están dispersas en la literatura especializada. Comenzamos con la teoría general de modelos y llegamos hasta la prueba del teorema de la independencia.

Palabras clave: Teorí de modelos, teorís simples, forking, independencia.

Texto completo disponible en PDF

References

1 J. T. Baldwin, Forking and multiplicity in first order theories, in Y. Zhang (ed.) Logica and Algebra, Contemporary Mathematics, AMS, Providence, R.I. 302 (2002), 205-221.         [ Links ]

2 E. Casanovas, The number of types in simple theories, Annals of Pure and Applied Logic, 98 (1999), 69-86.         [ Links ]

3 E. Casanovas, Some remarks on indiscernible sequences, Mathematical Logic Quarterly, 49 (2003), 475-478.         [ Links ]

4 E. Casanovas, D. Lascar, A. Pillay, & M. Ziegler, Galois groups of first order theories, Journal of Mathematical Logic, 1 (2001), 305-319.         [ Links ]

5 R. Grossberg, J. Iovino, & O. Lessmann, A primer of simple theories, Archive for Mathematical Logic, 41 (2002), 541-580.         [ Links ]

6 B. Kim, Forking in simple unstable theories, Journal of the London Mathematical Society, 57 (1998), 257-267.         [ Links ]

7 B. Kim, Simple first order theories, Ph. D. Thesis, University of Notre Dame, 1996.         [ Links ]

8 B. Kim & A. Pillay, Simple theories, Annals of Pure and Applied Logic 88 (1997), 149-164.         [ Links ]

9 B. Kim & A. Pillay, From stability to simplicity, Bulletin of Symbolic Logic 4 (1998), 17-36.         [ Links ]

10 Z. Shami, Definability in low simple theories, Journal of Symbolic Logic, 65 (2000), 1481-1490.         [ Links ]

11 S. Shelah, Classification theory, North Holland P.C., Amsterdam, 1978.         [ Links ]

12 S. Shelah, Simple unstable theories, Annals of Mathematical Logic, 19 (1980), 177-203.         [ Links ]

13 F. O. Wagner, Simple Theories, Kluwer Academic Publishers, Dordrecht 2000.         [ Links ]