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