"Model Theory and Arithmetic" - читать интересную книгу автора (C. Berline, K. McAloon, J.-P. Ressayre)