A course in model theory : an introduction to contemporary mathematical logic /
"This book is an introduction to first-order model theory. The first six chapters are very basic: starting from scratch, they quickly reach the essential, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. The next chapter introduces logic...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
New York :
Springer,
[2000]
©2000 |
| Series: | Universitext.
|
| Subjects: | |
| Online Access: | Kostenfrei Publisher description Verlagsinformation |
| Summary: | "This book is an introduction to first-order model theory. The first six chapters are very basic: starting from scratch, they quickly reach the essential, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. The next chapter introduces logic via the study of the models of arithmetic, and the following is a combinatorial tool-box preparing for the chapters on saturated and prime models. The last ten chapters form a rather complete but nevertheless accessible exposition of stability theory, which is the core of the subject."--Back of book. |
|---|---|
| Physical Description: | xxxi, 443 pages ; 24 cm. |
| Bibliography: | Includes bibliographical references (pages 419-427) and indexes. |
| ISBN: | 0387986553 9780387986555 |