Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. Proceedings of the American Mathematical Society, vol. 9 (1958), pp. 238–242. - Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 139–140.