Hierarchies of cuts in models of arithmetic. Model Theory of Algebra and (1980)

by J Paris
Venue:Arithmetic, Lecture Notes in Mathematics 834