@article{1183740203, author = {Maass, Wolfgang}, title = {The Uniform Regular Set Theorem in $\alpha$-Recursion Theory}, journal = {J. Symbolic Logic}, volume = {43}, number = {1}, year = {1978}, pages = { 270-279}, language = {en}, url = {http://dml.mathdoc.fr/item/1183740203} }
Maass, Wolfgang. The Uniform Regular Set Theorem in $\alpha$-Recursion Theory. J. Symbolic Logic, Tome 43 (1978) no. 1, pp. 270-279. http://gdmltest.u-ga.fr/item/1183740203/