1. On Pascal triangles modulo a prime power;Bès;Annals of Pure and Applied Logic,1997
2. [2]A. Bès, A survey of arithmetical definability, in: A Tribute to Maurice Boffa, M. Crabbé et al., eds, Société Mathématique de Belgique, 2002, pp. 1–54.
3. Definability within structures related to Pascal’s triangle modulo an integer;Bès;Fundamenta Mathematicae,1998
4. Undecidable extensions of Skolem arithmetic;Bès;Journal of Symbolic Logic,1998
5. [5]J.R. Büchi, On a decision method in restricted second order arithmetic, in: Logic, Methodology and Philosophy of Science, E. Nagel, P. Suppes and A. Tarski, eds, Stanford University Press, 1962, pp. 1–11.