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

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