Bozena Piekart On Closed Elementary Cuts in Recursively Saturated Models of Peano Arithmetic. 223-230 1993 34 Notre Dame Journal of Formal Logic 2 db/journals/ndjfl/ndjfl34.html#Piekart93