A course in model theory: an introduction to contemporary mathematical logic/
Bruno Poizat
- New York: Springer, 2000.
- xxxi, 443 p. ; 24 cm.
1. Elementary Classes of Relations -- 2. The Language Associated with a Relation -- 3. Extensions of the Language: Structures -- 4. Compactness -- 5. The Back-and-Forth Method in [omega]-Saturated Models -- 6. Examples Illustrating the Back-and-Forth Method -- 7. Arithmetic -- 8. Ordinals and Cardinals -- 9. Saturated Models -- 10. Prime Models -- 11. Heirs -- 12. Special Sons, Morley Sequences -- 13. The Fundamental Order -- 14. Stability and Saturated Models -- 15. Forking -- 16. Strong Types -- 17. Notions of Rank -- 18. Stability and Prime Models -- 19. Stability, Indiscernible Sequences and Weights -- 20. Dimension in Models of a Totally Transcendental Theory.
9780387986555
Model theory Logic, Symbolic and mathematical Mathematics