1. Diophantine problems over local fields I–II;Ax;Amer. J. Math.,1965
2. Diophantine problems over local fields III;Ax;Ann. of Math.,1966
3. I. Agol, Tameness of hyperbolic 3-manifolds, ArXiv Mathematics e-prints (2004).
4. Admissible Sets and Structures;Barwise,1975
5. An introduction to first-order logic;Barwise,1982