Book contents
- Frontmatter
- Contents
- PREFACE
- CHAPTER 1 THE BASICS
- CHAPTER 2 ELEMENTARY EXTENSIONS AND COMPACTNESS
- CHAPTER 3 QUANTIFIER ELIMINATION
- CHAPTER 4 COUNTABLE MODELS
- CHAPTER 5 ℵ1-CATEGORICAL THEORIES
- CHAPTER 6 MORLEY RANK
- CHAPTER 7 SIMPLE THEORIES
- CHAPTER 8 STABLE THEORIES
- CHAPTER 9 PRIME EXTENSIONS
- CHAPTER 10 THE FINE STRUCTURE OF ℵ1-CATEGORICAL THEORIES
- APPENDIX A SET THEORY
- APPENDIX B FIELDS
- APPENDIX C COMBINATORICS
- APPENDIX D SOLUTIONS TO EXERCISES
- REFERENCES
- INDEX
CHAPTER 3 - QUANTIFIER ELIMINATION
Published online by Cambridge University Press: 05 June 2012
- Frontmatter
- Contents
- PREFACE
- CHAPTER 1 THE BASICS
- CHAPTER 2 ELEMENTARY EXTENSIONS AND COMPACTNESS
- CHAPTER 3 QUANTIFIER ELIMINATION
- CHAPTER 4 COUNTABLE MODELS
- CHAPTER 5 ℵ1-CATEGORICAL THEORIES
- CHAPTER 6 MORLEY RANK
- CHAPTER 7 SIMPLE THEORIES
- CHAPTER 8 STABLE THEORIES
- CHAPTER 9 PRIME EXTENSIONS
- CHAPTER 10 THE FINE STRUCTURE OF ℵ1-CATEGORICAL THEORIES
- APPENDIX A SET THEORY
- APPENDIX B FIELDS
- APPENDIX C COMBINATORICS
- APPENDIX D SOLUTIONS TO EXERCISES
- REFERENCES
- INDEX
Summary
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9781139015417/resource/name/firstPage-9781139015417c3_p27-46_CBO.jpg)
- Type
- Chapter
- Information
- A Course in Model Theory , pp. 27 - 46Publisher: Cambridge University PressPrint publication year: 2012