1. The elementary theory of finite fields;Ax;Ann. Math.,1968
2. Decidability and undecidability of theories with a predicate for the primes;Bateman;J. Symbolic Logic,1993
3. Undecidable extensions of Büchi arithmetic and Cobham–Semenov theorem;ès;J. Symbolic Logic,1997
4. A. Bès, An extension of the Cobham–Semënov theorem, a preprint, 1996, 10pp.
5. A. Bès, Problèmes de définissabilité arithmétique: triagles de Pascal, arithmétique de Presburger et arithmétique de Skolem, Ph.D. Thesis, Université Paris VII, 1996.