Model theory /
Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst ord...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Amsterdam ; New York : New York, NY, USA :
North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
1990.
|
| Edition: | 3rd ed. |
| Series: | Studies in logic and the foundations of mathematics ;
v. 73. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory. This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text. |
|---|---|
| Physical Description: | 1 online resource (xvi, 650 pages) |
| Bibliography: | Includes bibliographical references (pages 623-640). |
| ISBN: | 9780444880543 0444880542 9781435687004 1435687000 9780080880075 008088007X |