Model Theory |
|
Author:
| Keisler, H.J. Chang, D. D. Chang, C. C. |
Series title: | Studies in Logic and the Foundations of Mathematics Ser. |
ISBN: | 978-1-281-71650-7 |
Publication Date: | Jan 1990 |
Publisher: | Elsevier Science & Technology Books
|
Imprint: | North Holland |
Book Format: | Ebook |
List Price: | USD $87.54 |
Book Description:
|
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,...
More Description
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.