A course in model theory: an introduction to contemporary mathematical logic/ Bruno Poizat
Material type: TextPublication details: New York: Springer, 2000Description: xxxi, 443 p. ; 24 cmISBN: 9780387986555Subject(s): Model theory | Logic, Symbolic and mathematical | MathematicsDDC classification: 511.8Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
General Books | Central Library, Sikkim University General Book Section | 511.8 POI/C (Browse shelf(Opens below)) | Available | P25322 |
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.
There are no comments on this title.