Initial segments of models of Peano’s axioms. In: Set theory and hierarchy theory (1976)

by L Kirby, J B Paris
Venue:Lecture Notes in Math