John MacIntyre. Transfinite Extensions of Friedberg s Completeness Criterion. Journal of Symbolic Logic, 42(1):1-10, 1977.
@article{MacIntyre77, title = {Transfinite Extensions of Friedberg s Completeness Criterion}, author = {John MacIntyre}, year = {1977}, tags = {completeness}, researchr = {https://researchr.org/publication/MacIntyre77}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {42}, number = {1}, pages = {1-10}, }