Ax, James and Kochen, Simon, Diophantine problems over local fields, III, Annals of Mathematics, vol. 83 (1966), pp. 437–456.
Delon, Françoise, Espaces ultramétriques, this Journal, vol. 49 (1984), pp. 405–424.
van den Dries, Lou, Algebraic theories with definable Skolem functions, this Journal, vol. 49 (1984), pp. 625–629.
Haskell, Deirdre and Macpherson, Dugald, Cell decompositions of C-minimal structures, Annals of Pure and Applied Logic, vol. 66 (1994), pp. 113–162.
Holly, Jan E., Definable equivalence relations and disc spaces of algebraically closed valued fields, Ph.D. thesis, University of Illinois, 1992.
Holly, Jan E., Definable operations on sets and elimination of imaginaries, Proceedings of the American Mathematical Society, vol. 117 (1993), pp. 1149–1157.
Holly, Jan E., Canonical forms for definable subsets of algebraically closed and real closed valued fields, this Journal, vol. 60 (1995), pp. 843–860.
Macintyre, Angus, On definable subsets of p-adic fields, this Journal, vol. 41 (1976), pp. 605–610.
Macintyre, Angus, McKenna, Kenneth, and van den Dries, Lou, Elimination of quantifiers in algebraic structures, Advances in Mathematics, vol. 47 (1983), pp. 74–87.
Poizat, Bruno, Une théorie de Galois imaginaire, this Journal, vol. 48 (1983), pp. 1151–1170.
Rammal, R., Toulouse, G., and Virasoro, M. A., Ultrametricity for physicists, Reviews of Modern Physics, vol. 58 (1986), pp. 765–788.
Robinson, Abraham, Complete theories, North-Holland, Amsterdam, 1956.
Scowcroft, Philip, Equivalence relations on the p-adic line, Abstracts of Papers Presented to the American Mathematical Society, vol. 16 (1995), p. 15.
Scowcroft, Philip and Macintyre, Angus, On the elimination of imaginaries from certain valued fields, Annals of Pure and Applied Logic, vol. 61 (1993), pp. 241–276.