Contents

Chapters in this book

1. Frontmatter I
2. Introduction V
3. Contents IX
4. 1 Model theory and groups 1
5. 2 Independence and interpretable structures in nonabelian free groups 51
6. 3 Quantifier elimination algorithm to boolean combination of ∃∀-formulas in the theory of a free group 87
7. 4 Rich groups, weak second-order logic, and applications 127
8. 5 Rigid solvable groups. Algebraic geometry and model theory 193
9. Index 231