Model theory of algebra and arithmetic - Pacholski L; Wilkie A J (1980)