ABSTRACT

This final chapter is wholly devoted to the complete theory of the abelian group (ℤ; 0; +, −) of the integers. In passing, whenever it seems appropriate, we mention some general model-theoretic terms that play an important role in the contemporary theory.