@dblp

Elementary Cuts in Saturated Models of Peano Arithmetic.

. Notre Dame J. Formal Log., 53 (1): 1-13 (2012)

Links and resources

Tags