Types remarquables et extensions de modèles dans l'arithmétique de Peano, I

Dickmann, M. A.

Astérisque, Modèles de l'arithmétique : Séminaire Paris VII, (1980) p. 59-117

Deux applications de la méthode de va-et-vient

Dickmann, M. A.

Publications du Département de mathématiques (Lyon), Volume 14 (1977) p. 63-92