On elementary cuts in recursively saturated models of Peano Arithmetic

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Henryk Kotlarski Fundamenta Mathematicae 120 (1984), 205-222 DOI: 10.4064/fm-120-3-205-222