1. J. Barback,Tame models in the isols, Houston J. Math.12 (1986), 163–175.
2. M Davis,Computability and Unsolvability, McGraw-Hill, New York, 1958.
3. J. C. E. Dekker,The minimum of two regressive isols, Math. Z.83 (1964), 345–366.
4. S. Feferman, D. Scott and S. Tennenbaum,Models of arithmetic through function rings, Notices Amer. Math. Soc.6 (1959), 175.
5. Lecture Notes in Math.;H. Gaifman,1972