Anscombe, Will and Koenigsmann, Jochen, .
Ax, James, On the undecidability of power series fields. Proceedings of the American Mathematical Society, vol. 16 (1965), p. 846.
Ax, James, The elementary theory of finite fields. Annals of Mathematics, vol. 88 (1968), no. 2, pp. 239–271.
Ax, James and Kochen, Simon, Diophantine problems over local fields I. American Journal of Mathematics, vol. 87 (1965), no. 3, pp. 605–630.
Cluckers, Raf, Derakhshan, Jamshid, Leenknegt, Eva, and Macintyre, Angus, Uniformly defining valuation rings in henselian valued fields with finite or pseudo-finite residue fields. Annals of Pure and Applied Logic, vol. 164 (2013), pp. 1236–1246.
Efrat, Ido, Valuations, Orderings, and Milnor K-Theory, American Mathematical Society, Providence, 2006.
Fehm, Arno, Subfields of ample fields. Rational maps and definability. Journal of Algebra, vol. 323 (2010), pp. 1738–1744.
Fried, Michael D. and Jarden, Moshe, Field Arithmetic, , vol. 11, Springer, Berlin, 2008.
Heinemann, B. and Prestel, A., Fields regularly closed with respect to finitely many valuations and orderings. Canadian Mathematical Society Conference Proceedings, vol. 4 (1984), pp. 297–336.
Helbig, Patrick, Existentielle Definierbarkeit von Bewertungsringen, Bachelor thesis, Konstanz, 2013.
Prestel, Alexander, Jensen, R. B. and Prestel, A., editors, Pseudo real closed fields, Set Theory and Model Theory, , Springer, Berlin, 1981, pp. 127–156.