Diophantine problems over local fields. III. Decidable fields (1966)

by J Ax, S Kochen
Venue:Ann. of Math