A model-theoretic transfer theorem for henselian valued fields. Serban S. Basarab (1979) Journal für die reine und angewandte Mathematik
A representation of models of Peano arithmetic Josef Mlček (1973) Commentationes Mathematicae Universitatis Carolinae
Arithmetically independent integers and values of rational functions. Masahiro Yasumoto (1994) Manuscripta mathematica