product iamge

Model Theory

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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

Author(s): C.C. Chang and H.J. Keisler (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 73
Publisher: North Holland
Year: 1990

Language: English
Pages: ii-xiii, 1-650

Content:
Edited by
Pages ii-iii

Copyright page
Page iv

Preface
Pages v-ix
C.C. Chang, H.J. Keisler, H.J. Keisler

How to Use this Book as a Text
Pages x-xiii

Chapter 1 Introduction
Pages 1-60

Chapter 2 Models Constructed from Constants
Pages 61-135

Chapter 3 Further Model-Theoretic Constructions
Pages 136-210

Chapter 4 Ultraproducts
Pages 211-291

Chapter 5 Saturated and Special Models
Pages 292-383

Chapter 6 More About Ultraproducts and Generalizations
Pages 384-481

Chapter 7 Selected Topics
Pages 482-578

Appendix A: Set Theory
Pages 579-596

Appendix B: Open Problems In Classical Model Theory
Pages 597-602

Historical Notes
Pages 603-622

References
Pages 623-640

Index of Definitions
Pages 641-648

Index of Symbols
Pages 649-650