A course in model theory: an introduction to contemporary mathematical logic/ Bruno Poizat
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
![]() |
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.