On the interpretability of arithmetic in set theory. - George E. Collins; J. D. Halpern (Notre Dame J. Formal Log., 1970)