Models and types of Peano’s arithmetic (1976)

by H Gaifman
Venue:Ann. Math. Logic