@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/