@article{1183739898, author = {MacIntyre, John M.}, title = {Transfinite Extensions of Friedberg's Completeness Criterion}, journal = {J. Symbolic Logic}, volume = {42}, number = {1}, year = {1977}, pages = { 1-10}, language = {en}, url = {http://dml.mathdoc.fr/item/1183739898} }
MacIntyre, John M. Transfinite Extensions of Friedberg's Completeness Criterion. J. Symbolic Logic, Tome 42 (1977) no. 1, pp. 1-10. http://gdmltest.u-ga.fr/item/1183739898/