Ebook: Model theory
Author: Chang C.C. Keisler H.J.
- Genre: Mathematics // Logic
- Tags: Model theory., Modèles théorie des., Modeltheorie., Modèles Théorie des.
- Series: Studies in logic and the foundations of mathematics 73
- Year: 1990
- Publisher: North-Holland
- City: New York, Amsterdam, New York, NY, USA
- Edition: 3rd ed
- Language: English
- djvu
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 Read more...
Abstract: 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