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.

Authors

John MacIntyre

This author has not been identified. Look up 'John MacIntyre' in Google