Applications of cut-free infinitary derivations to generalized recursion theory

Arnold Beckmann, Wolfram Pohlers
1998 Annals of Pure and Applied Logic  
doi:10.1016/s0168-0072(97)00063-8 fatcat:choz6rogzffw3les7kik37bq3e