A Note on Models and Submodels of Arithmetic (1972)

by H Gaifman
Venue:Lecture Notes in Mathematics 255