A. Nerode. Arithmetically isolated sets and nonstandard models. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 105–116.
