Author | Poizat, Bruno. author |
---|---|
Title | A Course in Model Theory [electronic resource] : An Introduction to Contemporary Mathematical Logic / by Bruno Poizat |
Imprint | New York, NY : Springer New York : Imprint: Springer, 2000 |
Connect to | http://dx.doi.org/10.1007/978-1-4419-8622-1 |
Descript | XXXI, 443 p. online resource |
1 Elementary Classes of Relations -- The Language Associated with a Relation -- 3 Extensions of the Language: Structures -- 4 Compactness -- 5 The Back-and-Forth Method in ?-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 -- Index of Notation