@article{ARM_1965__1_4_a2,
     author = {Ho\v{r}ej\v{s}, Ji\v{r}{\'\i}},
     title = {On generalizations of a theorem on recursive sets},
     journal = {Archivum mathematicum},
     pages = {221--227},
     publisher = {mathdoc},
     volume = {01},
     number = {4},
     year = {1965},
     mrnumber = {0201294},
     zbl = {0203.01202},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ARM_1965__1_4_a2/}
}