1. A metamathematical approach to some problems in number theory;Ax;AMS Proc. Symp. Pure Math.,1971
2. Diophantine problems over local fields I;Ax;Amer. J. Math.,1965
3. Diophantine problems over local fields II;Ax;Amer. J. Math.,1965
4. Diophantine problems over local fields III;Ax;Decidable fields, Ann. Math.,1966
5. Some metamathematical aspects of the theory of Henselian fields;Basarab;Studii Cercetǎri Matematice,1973