Complete theories

Title
Preface
Preface to the second edition
I. General introduction
1.1. Preliminary remarks
1.2. The lower predicate calculus
1.3. Structures, models, diagrams
1.4. Godel's theorem and its extensions
1.6. Completeness
II. Model-completeness
2.1. Persistence
2.2. Model-completeness
2.3. The test for model-completeness
2.4. Predicates in model-complete theories
2.5. Partial completeness
2.6. Related sets
III. Model-complete groups and fields
3.1. Abelian groups
3.2. Algebraically closed fields
3.3. Real-closed fields
3.4. Fields with valuation
3.5. Integral domains with valuation
3.6. Modules (groups with operators)
IV. Completeness
4.1. Prime models
4.2. Joint extensions
4.3. Complete groups and fields
4.4. Adjunction of indeterminates
V. Applications
5.1. Direct applications
6.2. Transfer principles
6.3. Specialisation of parameters
6.4. Predicates in algebraically closed fields
VI. Syntactical transforms
6.1. Introduction
6.2. The bounding transform
6.3. A counter-example
6.4. Bounding transforms and deducibility
6.5. Application
Bibliography
Index