Type Two Cuts, Bad Cuts and Very Bad Cuts

Renling Jin. Type Two Cuts, Bad Cuts and Very Bad Cuts. Journal of Symbolic Logic, 62(4):1241-1252, 1997.

Abstract

Abstract is missing.