On elementary cuts in models of arithmetic
Volume 115 / 1983
Fundamenta Mathematicae 115 (1983), 27-31
DOI: 10.4064/fm-115-1-27-31