On elementary cuts in recursively saturated models of Peano Arithmetic
Tom 120 / 1984
Fundamenta Mathematicae 120 (1984), 205-222
DOI: 10.4064/fm-120-3-205-222
