Diophantine problems over local fields. II. A complete set of axioms for p-adic number theory (1965)

by James Ax, Simon Kochen