A note on models and submodels of arithmetic (1970)

by Haim Gaifman
Venue:In Conference in Mathematical Logic—London ’70 (Proc. Conf