TY  - BOOK
AU  - Poizat, Bruno
TI  - A course in model theory: an introduction to contemporary mathematical logic
SN  - 9780387986555
U1  - 511.8 
PY  - 2000///
CY  - New York
PB  - Springer
KW  - Model theory
KW  - Logic, Symbolic and mathematical
KW  - Mathematics
N1  - 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
ER  -