Transfinite Extensions of Friedberg s Completeness Criterion

John MacIntyre. Transfinite Extensions of Friedberg s Completeness Criterion. Journal of Symbolic Logic, 42(1):1-10, 1977.

Abstract

Abstract is missing.