Elementary Cuts in Saturated Models of Peano Arithmetic

James H. Schmerl. Elementary Cuts in Saturated Models of Peano Arithmetic. Notre Dame Journal of Formal Logic, 53(1):1-13, 2012. [doi]

Abstract

Abstract is missing.