On the interpretability of arithmetic in set theory

George E. Collins, J. D. Halpern. On the interpretability of arithmetic in set theory. Notre Dame Journal of Formal Logic, 11(4):477-483, 1970. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.