Models and types of Peano’s arithmetic (1976)

by H Gaifman
Venue:Annals of Mathematical Logic