1. The Theory of Models,1965
2. Horn sentences in identity theory;Appel;J. Symb. Logic,1959
3. Diophantine problems over local fields I;Ax;Am. J. Math.,1965
4. Diophantine problems over local fields II: A complete set of axioms for p-adic number theory;Am. J. Math.,1965
5. Diophantine problems over local fields III: Decidable fields;Ann. Math.,1966