A Course in Model Theory : an Introduction to Contemporary Mathematical Logic /
This book, translated from the French, 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 c...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY :
Springer New York,
2000.
|
| Series: | Universitext,
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | This book, translated from the French, 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. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (xxxi, 443 pages) |
| ISBN: | 9781441986221 (electronic bk.) 1441986227 (electronic bk.) |
| ISSN: | 0172-5939 |