Recursion on inadmissible ordinals - Friedman, Sy-David 1953- (1976)
Cambridge, Mass., MIT, Diss., 1976