1. “Diophantine problems over local fields I, II,”;Ax;Amer. J. Math.,1965
2. “Undecidability of the theory of abelian groups with a subgroup,”;Baur;PAMS,1976
3. “Further remarks on the elementary theory of formal power series rings,”;Becker,1980
4. “Decision problems for real and p-adic fields,”;Cohen;Comm. Pure Appl. Math.,1969
5. “Hensel fields in equal characteristic p > 0,”;Delon,1980